Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen

By:

Material type: Text

TextPublication details: Berlin ; New York : Springer, c2001.ISBN:

DDC classification:

Online resources:

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Library	005-2001 (Browse shelf(Opens below))	Available		AT-ISTA#000010

Total holds: 0

Previous								Next
Previous	005-199x Algebraic aspects of cryptography /	005-199x Applied cryptography : protocols, algorithms, and source code in C /	005-199x Term rewriting and all that /	005-2001 Systems and Software Verification Model-Checking Techniques and Tools	005-2001 Information Warfare	005-2003 An Introduction to Distributed Algorithms.	005-2003 C++ : pocket reference	Next