Library, University of Moratuwa, Sri Lanka catalog

Normal view MARC view ISBD view

Diller, Antoni

Z: an introduction to formal methods - 2nd ed. - Chichester John Wiley 1994 - xix, 374p.

ISBN: 0471939730

Subjects--Topical Terms:
COMPUTER SOFTWARE
COMPUTER PROGRAMMING LANGUAGES-Z
Z

Universal Decimal Class. No.: 681.3.062 / D5

Print
Add to your cart (remove)
Suggest for purchase
Save record
More searches