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

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

Name: Abstraction-based deductive-algorithmic verification of reactive systems (Report / Stanford University. Dept. of Computer Science)
Author: Tomas E Uribe
ISBN: 978B0006RENQ4

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

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸