Home › Books › Artificial intelligence › Verifying Concurrent Processes Using Temporal Logic (Lectur…
NextUncertainty in Artificial... →
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,
PublisherSpringer Verlag
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,
PublisherSpringer Verlag
ISBN / ASIN0387112057
ISBN-139780387112053
Sales Rank13,357,172
CategoryArtificial intelligence
MarketplaceUnited States  🇺🇸

More Books in Artificial intelligence

Uncertainty in Artificial Intelligence (Volume 4 of Machine Intelligence and Pattern Recognition) (Vol 1)
Uncertainty in Artificial Intelligence (Volume 4 of Ma…
View
Advances in Knowledge Discovery and Data Mining (American Association for Artificial Intelligence)
Advances in Knowledge Discovery and Data Mining (Ameri…
View
Encyclopedia of Artificial Intelligence
Encyclopedia of Artificial Intelligence
View
Parle '94: Parallel Architectures and Languages Europe : 6th International Parle Conference Athens, Greece, July 4-8, 1994 : Proceedings (Lecture Notes in Computer Science)
Parle '94: Parallel Architectures and Languages E…
View
Artificial Intelligence (SIE): 3/e
Artificial Intelligence (SIE): 3/e
View
Godel, Escher, Bach: An Eternal Golden Braid
Godel, Escher, Bach: An Eternal Golden Braid
View
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995 (Lecture Notes in Computer Science)
Advanced Functional Programming: First International S…
View
Principles of Database and Knowledge-Base Systems Vol. 2: The New Technologies
Principles of Database and Knowledge-Base Systems Vol.…
View
Ray Shooting, Depth Orders and Hidden Surface Removal (Lecture Notes in Computer Science)
Ray Shooting, Depth Orders and Hidden Surface Removal …
View
Smarter Than Us: The Rise of Machine Intelligence
Smarter Than Us: The Rise of Machine Intelligence
View
Donate to EbookNetworking
Prev
Uncertainty in Arti...Next