Cover Image

Systems and software verification : model-checking techniques and tools /

Show other versions (1)
Bibliographic Details
Other Authors: Bérard, Béatrice
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Subjects:
Computer systems > Verification.
Computer software > Verification.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 S97 2001
 
Call Number Status Get It
QA76.76.V47 S97 2001 Available