The Temporal Logic of Reactive and Concurrent Systems: Specification
📄 Viewing lite version
Full site ›
169.00
USD
🛒 Buy New on Amazon 🇺🇸
Book Details
Author(s)Zohar Manna, Amir Pnueli
ISBN / ASIN1461269504
ISBN-139781461269502
MarketplaceUnited States 🇺🇸