Temporal Logic in SpecificationHoward Barringer
Temporal Logic in Specification
Howard Barringer, Amir Pnueli · 2007
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2007
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 460
- ISBN
- 9783540518037
Data source: Wikidata
