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

Ähnliche Produkte

Taschenbuch
Cover: 9783540551553 | Modellbildung, Simulation und Identifikation dynamischer Systeme
Modellbildung, Simulation und Identifikation dynamischer Systeme
EAN: 9783540551553
Sprache: Deutsch
Von/Mit: Dietmar P. F. Möller

54,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783642427886 | Software Architecture | Oliver Vogel (u. a.) | Taschenbuch | Paperback
Software Architecture
A Comprehensive Framework and Guide for Practitioners
EAN: 9783642427886
Sprache: Englisch
Von/Mit: Oliver Vogel (u. a.)

58,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783642702488 | Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I | Karl Kurbel
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I
EAN: 9783642702488
Sprache: Deutsch
Von/Mit: Karl Kurbel

54,99 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9780387988702 | On a Method of Multiprogramming | W. H. J. Feijen (u. a.) | Buch | XX
On a Method of Multiprogramming
EAN: 9780387988702
Sprache: Englisch
Von/Mit: W. H. J. Feijen (u. a.)

160,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781509517169 | How to Be a Geek | Essays on the Culture of Software | Matthew Fuller
How to Be a Geek
Essays on the Culture of Software
EAN: 9781509517169
Sprache: Englisch
Von/Mit: Matthew Fuller

27,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781780175065 | Security Operations in Practice | Mike Sheward | Taschenbuch | 2020
Security Operations in Practice
EAN: 9781780175065
Sprache: Englisch
Von/Mit: Mike Sheward

51,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484262023 | Introducing Bootstrap 4 | Jörg Krause | Taschenbuch | Paperback | xv
Introducing Bootstrap 4
Create Powerful Web Applications Using Bootstrap 4.5
EAN: 9781484262023
Sprache: Englisch
Von/Mit: Jörg Krause

64,19 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781788834759 | Kubernetes for Developers | Joseph Heck | Taschenbuch | Paperback
Kubernetes for Developers
Use Kubernetes to develop, test, and deploy your applications with the help of containers
EAN: 9781788834759
Sprache: Englisch
Von/Mit: Joseph Heck

55,20 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780357674000 | Programming with Microsoft Visual Basic 2019/2022 | Diane Zak | Buch
Programming with Microsoft Visual Basic 2019/2022
EAN: 9780357674000
Sprache: Englisch
Von/Mit: Diane Zak

169,95 €*

Lieferzeit 1-2 Werktage

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