Verification of sequential and concurrent programs

By:

Material type: Text

TextLanguage: English Publication details: New York Springer 2009Edition: 3rdDescription: 502pISBN:

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	Collection	Call number	Status	Date due	Barcode
Reference	School of Engineering	Post Graduation	005.14 KRZ (Browse shelf(Opens below))	Available		SE16483

Previous		No cover image available						Next
Previous	005.14 JOR Software testing a craftsman's approach	005.14 JOR Software testing a craftsman's approach	005.14 KRZ Verification of Sequential and Concurrent Programs	005.14 KRZ Verification of sequential and concurrent programs	005.14 KRZ Verification of sequential and concurrent programs	005.14 PEZ Software testing and analysis Process, Principles and techniques	005.2 ANA Introduction to parallel computing	Next

There are no comments on this title.

to post a comment.

ONLINE PUBLIC ACCESS CATALOG(OPAC)