Industrial strength: Formal methods in practice

By:

Material type: Text

Subject(s):

DDC 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	Date due	Barcode
Archives	Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre	005.131 HIN/I (Browse shelf(Opens below))	Available		1459


	005.131 BOW/Z ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995	005.131 BOW/Z ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997.	005.131 BOW/Z ZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998.	005.131 HIN/I Industrial strength: Formal methods in practice

There are no comments on this title.

to post a comment.