Software development with Z : a practical approach to formal methods in software engineering

By: Wordworth, J.BContributor(s): Language: English Series: Publication details: ; Wokingham : Addison-Wesley, 1992 ; 1992Edition: Description: xii,334 p; 23 cmISBN: 0-201-62757-41Subject(s): | Z(Computer program language)-Congresses | Computer software-Development
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3.06(Z) Wor Available G55B41 168577
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha