J. R. Abrial: The B-Book | Taschenbuch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521021753 | The B-Book | Assigning Programs to Meanings | J. R. Abrial (u. a.)

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

127,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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
Seiten:	816
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

preigu-id: 111057676

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2005
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	816
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