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

Author Tomas E Uribe

Publisher Stanford University, Dept. of Computer Science

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 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 🇺🇸