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

The Calculus of Computation: Decision Procedures with Applications to Verification

Name: The Calculus of Computation: Decision Procedures with Applications to Verification
Author: Aaron R. Bradley, Zohar Manna
ISBN: 9783540741121

AuthorAaron R. Bradley, Zohar Manna

PublisherSpringer

Shop on Amazon — choose your country

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

Buy New on Amazon 🇮🇳

Book Details

Author(s)Aaron R. Bradley, Zohar Manna

PublisherSpringer

ISBN / ASIN3540741127

ISBN-139783540741121

MarketplaceIndia 🇮🇳