Library, University of Moratuwa, Sri Lanka catalog

Normal view MARC view ISBD view

Jacky, Jonathan

The Way of Z : practical programming with formal methods - New York Cambridge University Press 1997 - xviii, 350p.

Index included

ISBN: 9780521559768

Subjects--Topical Terms:
COMPUTER PROGRAMMING LANGUAGES
COMPUTER PROGRAM LANGUAGE-Z

Universal Decimal Class. No.: 004.43 / J3

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