Faites connaître cet article à vos amis:
The B Language and Method: a Guide to Practical Formal Development - Formal Approaches to Computing & Information Technology (Facit) Kevin Lano Softcover Reprint of the Original 1st Ed. 1996 edition
Prix
€ 49,49
Commandé depuis un entrepôt distant
Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
The B Language and Method: a Guide to Practical Formal Development - Formal Approaches to Computing & Information Technology (Facit)
Kevin Lano
This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.
232 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 14 mai 1996 |
| ISBN13 | 9783540760337 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 232 |
| Dimensions | 156 × 234 × 13 mm · 344 g |
| Langue et grammaire | Anglais |
![Cover for Kevin Lano · Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/424/9783031441424.jpg?kevin-lano-2023-introduction-to-software-architecture-innovative-design-using-clean-architecture-and-model-driven-engineering-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1723846736)
![Cover for Kevin Lano · Financial Software Engineering - Undergraduate Topics in Computer Science (Paperback Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/496/9783030140496.jpg?kevin-lano-2019-financial-software-engineering-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1588757543)
![Cover for Kevin Lano · Formal Object-Oriented Development - Formal Approaches to Computing and Information Technology (FACIT) (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/786/9783540199786.jpg?kevin-lano-1995-formal-object-oriented-development-formal-approaches-to-computing-and-information-technology-facit-paperback-book&class=scaled&v=1544988331)