Normal view MARC view ISBD view

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

Wordworth, J.B.

Software development with Z : a practical approach to formal methods in software engineering - - Wokingham : Addison-Wesley, 1992 1992 - xii,334 p. 23 cm - .

ISBN: 0-201-62757-41

Subjects--Topical Terms:

Z(Computer program language)-Congresses
Computer software-Development

Universal Decimal Class. No.: 681.3.06(Z) Wor

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)