Home › Books › The Temporal Logic of Reactive and Concurrent Systems: Spec…
The Temporal Logic of Reactive and Concurrent Systems: Specification Buy on Amazon

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

The Temporal Logic of Reactive and Concurrent Systems: Specification

AuthorManna, Zohar
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇫🇷

Book Details

Author(s)Manna, Zohar
PublisherSpringer
ISBN / ASIN1461269504
ISBN-139781461269502
MarketplaceFrance  🇫🇷

Description

  • Used Book in Good Condition

More Books by Manna, Zohar

The Deductive Foundations of Computer Programming
The Deductive Foundations of Computer Programming
View
Donate to EbookNetworking
Prev
Next