Normal view MARC view ISBD view

Formal specification using Z.

Lightfoot, David

Formal specification using Z. - 2nd ed. - Basingstoke: Palgrave, 2001 - xii,164p; : 25 cm. - Grassroots series .

ISBN: 9780333763278 (pbk)

Subjects--Topical Terms:
Computer software -- Development
Formal methods (Computer science)
Z (Computer program language)

Dewey Class. No.: 005.133 / LIG

Place hold
Print
Cite
Send to device
More searches

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