Normal view MARC view ISBD view

Z : an introduction to formal methods /

Diller, Antoni.

Z : an introduction to formal methods / Antoni Diller. - Chichester : Wiley, 1990. - xxi, 309p : ill. ; 25 cm.

ISBN: 047192489X 9780471924890 : £17.95

Subjects--Topical Terms:
Z (Computer program language)
Computer programming.
Programming languages (Electronic computers)
Programming & scripting languages: general
Computer science

Dewey Class. No.: 005.133

Place hold
Place recall
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar)