Koha online

Normal view MARC view ISBD view

Jacky, Jonathan

Way of Z : practical programming with formal methods - Cambridge Cambridge University Press 1997 - xviii, 350 p. ill. 24 cm.

ISBN: 0521559766 pbk

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

Dewey Class. No.: 005.12 / JAC