Home › Books › Artificial intelligence › Verifying Concurrent Processes Using Temporal Logic (Lectur…
← PrevFundamentals of Computati... NextEsop 86 (Lecture Notes in... →
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) Buy on Amazon

https://www.ebooknetworking.net/books_detail-0387112057.html

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

AuthorBrent T. Hailpern,
CategoryArtificial intelligence
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
52.95 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Brent T. Hailpern,
ISBN / ASIN0387112057
ISBN-139780387112053
CategoryArtificial intelligence
MarketplaceUnited States  🇺🇸

More Books in Artificial intelligence

Artificial Intelligence
Artificial Intelligence
View
Artificial Intelligence (SIE): 3/e
Artificial Intelligence (SIE): 3/e
View
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
View
Neural Networks and Fuzzy Systems: A Dynamical Systems Approach to Machine Intelligence/Book and Disk
Neural Networks and Fuzzy Systems: A Dynamical Systems…
View
Artificial experts: Social knowledge and intelligent machines (Inside Technology)
Artificial experts: Social knowledge and intelligent m…
View
Legged Robots That Balance (Artificial Intelligence Series)
Legged Robots That Balance (Artificial Intelligence Se…
View
Advances in Knowledge Discovery and Data Mining (American Association for Artificial Intelligence)
Advances in Knowledge Discovery and Data Mining (Ameri…
View
Dark Matter
Dark Matter
View
Lecture Notes in Computer Science: Caap 81 Trees in Algebra and Programming : 6th Colloquium
Lecture Notes in Computer Science: Caap 81 Trees in Al…
View
Fundamentals of Computation Theory: Proceedings of the 1981 International Fct-Conference, Szeged, Hungaria, August 24-29, 1981 (Lecture Notes in Computer Science)
Fundamentals of Computation Theory: Proceedings of the…
View
Donate to EbookNetworking
Fundamentals of Com...Prev
Esop 86 (Lecture No...Next