Fortell venner om denne varen:
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
Pris
NOK 559
Bestillingsvarer
Forventes levert 9. - 19. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 14. mai 1996 |
| ISBN13 | 9783540760337 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 232 |
| Mål | 156 × 234 × 13 mm · 344 g |
| Språk | Engelsk |
![Cover for Kevin Lano · Introduction to Software Architecture: Innovative Design using Clean Architecture and Model-Driven Engineering - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1723846736)
![Cover for Kevin Lano · Financial Software Engineering - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1588757543)
![Cover for Kevin Lano · Formal Object-Oriented Development - Formal Approaches to Computing and Information Technology (FACIT) (Pocketbok) [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-pocketbok&class=scaled&v=1544988331)