Normal view MARC view ISBD view

Formal Specification Using Z /

Lightfoot, David, 1951-

Formal Specification Using Z / David Lightfoot. - 2nd ed. - Basingstoke : Palgrave, 2001. - xii,164p. ; 25cm. - Grassroots series .

Previous ed.: Basingstoke : Macmillan, 1991. Includes index.

ISBN: 0333763270 (pbk.) : £17.99

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

Subjects--Index Terms:

Dewey Class. No.: 005.133 / LIG

Print
Add to your cart (remove)
Send to device
Save record
Dublin Core MARCXML RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Southern NH Libraries Other Databases (Google Scholar) Online Stores (Bookfinder.com)