Temporal Verification of Reactive Systems: Safety.by Manna, Pnueli New<|

Temporal Verification of Reactive Systems: Safety.by Manna, Pnueli New<|

Springer

Pages: 530, Edition: 1995, Hardcover, Springer

Compare prices (2 shops)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	89,99 GBP	Go to shop
	109,88 GBP	Go to shop

Similar products

Reactive Systems Modelling, Specification and Verification Aceto Ingólfsdóttir
From 73,66 EUR
AUTONOMOUS SYSTEM VERIFICATION AND VALIDATION ENGINEERING: Safety Assurance Scenario Testing and Performance Certification
From 9,82 EUR
WEAPON SYSTEM SAFETY AND CERTIFICATION ENGINEERING: Hazard Analysis Qualification Procedures and Compliance Verification
From 10,58 EUR
Comprehensive Automated Document Verification System
From 4,47 EUR
Statistical Methods for Spatio-Temporal Systems
From 67,99 EUR
Electronic Design Automation for IC System Design, Verification, and Testing
From 220,00 EUR