NUST Institutions Library Catalogue catalog › Details for: Applied formal verification

Normal view MARC view ISBD view

Applied formal verification Douglas L. Perry

By: Douglas L. PerryContributor(s): Harry D. FosterPublisher: New York. McGraw Hill 2005Description: xiv, 237p.: ill.; 24cmISBN: 007144372xDDC classification: 621.3815

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

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Book	Central Library (CL)	Central Library (CL)	NFIC	General Stacks	621.3815 PER (Browse shelf)	Available		SEECS011479

Total holds: 0

There are no comments on this title.

to post a comment.

Print
Suggest for purchase
Send to device
Save record
More searches
- Search for this title in:
- NUST Institutional Repository(DSpace)