Freunden von diesem Artikel berichten:
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
Preis
SFr. 43,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 14. Mai 1996 |
| ISBN13 | 9783540760337 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 232 |
| Maße | 156 × 234 × 13 mm · 344 g |
| Sprache | Englisch |
![Cover for Kevin Lano · Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering - Undergraduate Topics in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1723846736)
![Cover for Kevin Lano · Financial Software Engineering - Undergraduate Topics in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1588757543)
![Cover for Kevin Lano · Formal Object-Oriented Development - Formal Approaches to Computing and Information Technology (FACIT) (Taschenbuch) [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-taschenbuch&class=scaled&v=1544988331)