Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Brent T. Hailpern,
Publisher
Springer Verlag
ISBN / ASIN
0387112057
ISBN-13
9780387112053
Category
Artificial intelligence
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
