The B-Book
Assigning Programs to Meanings
(Sprache: Englisch)
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Leider schon ausverkauft
versandkostenfrei
Buch
126.90 €
Produktdetails
Produktinformationen zu „The B-Book “
Klappentext zu „The B-Book “
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Inhaltsverzeichnis zu „The B-Book “
Tribute; Foreword; Introduction; Part I. Mathematics: 1. Mathematical reasoning; 2. Set notation; 3. Mathematical objects; Part II. Abstract Machines: 4. Introduction to abstract machines; 5. Formal definition of abstract machines; 6. Theory of abstract machines; 7. Constructing large abstract machines; 8. Examples of abstract machines; Part III. Programming: 9. Sequencing and loop; 10. Programming examples; Part IV. Refinement: 11. Refinement; 12. Constructing large software systems; 13. Examples of refinement; Appendixes; Index.
Bibliographische Angaben
- Autoren: J. R. Abrial , Jean-Raymond Abrial
- 816 Seiten, Maße: 17 x 24,4 cm, Kartoniert (TB), Englisch
- Verlag: Cambridge University Press
- ISBN-10: 0521021758
- ISBN-13: 9780521021753
- Erscheinungsdatum: 25.08.2005
Sprache:
Englisch
Rezension zu „The B-Book “
'With the appearance of The B-Book ... computer scientists, and system developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.' Zentralblatt MATH 'It will act as the reference book for many involved in the application of the B-Method ... The B-Book provides a comprehensive reference for the B approach to specifying, designing and coding software systems.' Jonathan Bowen, Times Higher Education Supplement
Kommentar zu "The B-Book"
0 Gebrauchte Artikel zu „The B-Book“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "The B-Book".
Kommentar verfassen