Home › Books › Abstraction-based deductive-algorithmic verification of rea…
Abstraction-based deductive-algorithmic verification of reactive systems (Report / Stanford University. Dept. of Computer Science) Buy on Amazon

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

Abstraction-based deductive-algorithmic verification of reactive systems (Report / Stanford University. Dept. of Computer Science)

AuthorTomas E Uribe
PublisherStanford University, Dept. of Computer Science
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇫🇷

Book Details

Author(s)Tomas E Uribe
PublisherStanford University, Dept. of Computer Science
ISBN / ASINB0006RENQ4
ISBN-13978B0006RENQ4
MarketplaceFrance  🇫🇷
Donate to EbookNetworking
Prev
Next