The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))

Name: The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Author: Kevin Lano
ISBN: 9783540760337

Author Kevin Lano

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

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

99.00 USD

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)Kevin Lano

ISBN / ASIN3540760334

ISBN-139783540760337

MarketplaceUnited States 🇺🇸