FUTMinna Library

Your cart is empty.
Normal view MARC view ISBD view

Formal methods of program verification and specification / H.K. Berg ... [et al.].

Contributor(s): Berg, H. K. (Helmut K.).
Material type: materialTypeLabelBookSeries: Prentice-Hall software series.Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Description: xiv, 207 p. : ill. ; 24 cm.ISBN: 0133288072.Subject(s): Computer programs -- Verification | Computer programs -- Specifications | Formal methods (Computer science)DDC classification: 001.65/24
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
Books,Booklets,Workbooks Books,Booklets,Workbooks IBB Library-Gidan Kwano
QA76.6.F65 1982 (Browse shelf) nc 1 Available 2342109463

Includes bibliographical references and index.

B-6351/abu/09/05/17

There are no comments for this item.

Log in to your account to post a comment.