Zur Startseite gehen
0,00 €*
Cover: 9780521021753 | The B-Book | Assigning Programs to Meanings | J. R. Abrial (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
The B-Book
Assigning Programs to Meanings
Taschenbuch von J. R. Abrial (u. a.)
Sprache: Englisch

140,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521021753
ISBN-10: 0521021758
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Abrial, J. R.
Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Maße: 244 x 170 x 43 mm
Von/Mit: J. R. Abrial (u. a.)
Erscheinungsdatum: 25.08.2005
Gewicht: 1,38 kg
Artikel-ID: 111057676
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521021753
ISBN-10: 0521021758
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Abrial, J. R.
Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Maße: 244 x 170 x 43 mm
Von/Mit: J. R. Abrial (u. a.)
Erscheinungsdatum: 25.08.2005
Gewicht: 1,38 kg
Artikel-ID: 111057676
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...