Home › Books › The B Language and Method: A Guide to Practical Formal Deve…
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) Buy on Amazon

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

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

AuthorKevin Lano
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇮🇳

Book Details

Author(s)Kevin Lano
PublisherSpringer
ISBN / ASIN3540760334
ISBN-139783540760337
MarketplaceIndia  🇮🇳

More Books by Kevin Lano

UML 2 Semantics and Applications
UML 2 Semantics and Applications
View
Advanced Systems Design with Java, UML and MDA
Advanced Systems Design with Java, UML and MDA
View
Model-Driven Software Development with UML and Java
Model-Driven Software Development with UML and Java
View
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))
Formal Object-Oriented Development (Formal Approaches …
View
Donate to EbookNetworking
Prev
Next