Normal view MARC view ISBD view

A programming approach to formal methods / Chris Casey.

Material type: materialTypeLabel

BookPublisher: Mcgraw Hill ISBN: 007707968X.Subject(s): Programming approach to formal methodsDDC classification: 005.3 CAS

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Open Shelf Books	Nilai University Library	005.3 CAS (Browse shelf)	Available		2100

Total holds: 0

Previous								Next
Previous	005.282 MOL Understanding Unix/Linux programming / Bruce Molay.	005.282 SAR Unix : the textbook / Syed Mansoor Sarwar, Robert Koretsky, Syed Aqeel Sarwar.	005.3 ANE ComputeRed Sport don't byte	005.3 CAS A programming approach to formal methods / Chris Casey.	005.3 HAR Object in action : commercial applications of object-oriented / Paul Harmon.	005.3 KLO Dac easy 4.3 : a practical approach / Allen Klooster.	005.3 KLO Dac easy 4.3 : a practical approach / Allen Klooster.	Next

There are no comments for this item.

NILAI U LIBRARY