Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) Buy on Amazon
Facebook LinkedIn

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

Author Brent T. Hailpern,
Publisher Springer Verlag
Category Artificial intelligence
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
52.95 USD
Buy New on Amazon 🇺🇸
Book Details
Author(s) Brent T. Hailpern,
Publisher Springer Verlag
ISBN / ASIN 0387112057
ISBN-13 9780387112053
Sales Rank #13,357,172
Category Artificial intelligence
Marketplace United States 🇺🇸
Ratings & Reviews No reviews yet — be the first!

No reviews yet.

🏷️

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
← Previous Book Intelligent Robots and Comp... Next Book Computer Performance Evalua... →
← Previous Intelligent Robot...
Next Computer Performa... →