Powiedz znajomym o tym przedmiocie:
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
Cena
zł 206,90
Zamówione z odległego magazynu
Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń 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
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 14 maja 1996 |
| ISBN13 | 9783540760337 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 232 |
| Wymiary | 156 × 234 × 13 mm · 344 g |
| Język | Angielski |
![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)