The way of Z practical programming with formal methods [Book] Jonathan Jacky.

By:

Material type: Text

Subject(s):

DDC classification:

Other classification:

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	Call number	Status	Barcode
Books	COMSATS University Abbottabad Campus	005.12 JAC (Browse shelf(Opens below))	Available	10003000026851
Books	COMSATS University Abbottabad Campus	005.12 JAC (Browse shelf(Opens below))	Available	10003000026852
Books	COMSATS University Abbottabad Campus	005.12 JAC (Browse shelf(Opens below))	Available	10003000026853
Books	COMSATS University Abbottabad Campus	005.12 JAC (Browse shelf(Opens below))	Available	10003000026854
Books	COMSATS University Abbottabad Campus	005.12 JAC (Browse shelf(Opens below))	Available	10003000026855

Total holds: 0

Previous	No cover image available	No cover image available						Next
Previous	005.12 HOF Modern systems analysis and design	005.12 HOF Modern systems analysis and design	005.12 JAC The way of Z practical programming with formal methods	005.12 JAC The way of Z practical programming with formal methods	005.12 JAC The way of Z practical programming with formal methods	005.12 JAC The way of Z practical programming with formal methods	005.12 JAC The way of Z practical programming with formal methods	Next

All.

There are no comments on this title.

to post a comment.