The Way of Z: Practical Programming with Formal Methods Jonathan, Jacky

By: Jonathan, Jacky Material type: Text

TextPublication details: New York: Cmbridge University Press, c1997. Description: xviii, 350 p.: illISBN: 0521559766DDC classification: 005.12

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Reference Books	Don Bosco Institute of Technology Library Reference	Computer Science	005.12 JAC/WAY (Browse shelf(Opens below))	Not for loan		1779

This book is having bibliography328-339 from page

There are no comments on this title.

to post a comment.