Temporal verification of reactive systems : safety
Title
: 
Temporal verification of reactive systems : safety

Personal Author
: 
Manna, Zohar

Publication Information
: 
New York : Springer-Verlag, 1995

Physical Description
: 
xviii, 512 p. ; 25 cm.

ISBN
: 
9780387944593

Subject Term
: 
Computer software -- Verification
 
Parallel processing

Added Author
: 
Pnueli, Amir


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000010190506QA76.76.V47 M36 1995Open Access BookBook