Systems and software verification : model-checking techniques and tools / B. Berard ... [et al.]

Material type: Text

TextPublication details: Berlin; New York: Springer-Verlag, 2001Description: xii, 190 p.: ill.; 24 cmISBN:

Contained works:

Subject(s):

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
Open Shelf	UMPLIB PEKAN	Non-fiction	QA76.76.V45 S97 2001 (Browse shelf(Opens below))	Available		0000009283

Includes bibliographical references and index