Axiomatising the Logic of Computer Program... | preigu

Cover: 9783540112105 | Axiomatising the Logic of Computer Programming | R. Goldblatt | Buch

Rückseite: 9783540112105 | Axiomatising the Logic of Computer Programming | R. Goldblatt | Buch

Cover: 9783540112105 | Axiomatising the Logic of Computer Programming | R. Goldblatt | Buch

Rückseite: 9783540112105 | Axiomatising the Logic of Computer Programming | R. Goldblatt | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

24,10 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Inhaltsverzeichnis

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Details

Erscheinungsjahr:	1982
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9783540112105
ISBN-10:	3540112103
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Goldblatt, R.
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße:	235 x 155 x 18 mm
Von/Mit:	R. Goldblatt
Erscheinungsdatum:	01.03.1982
Gewicht:	0,487 kg

Artikel-ID: 101943432

Ähnliche Produkte

Taschenbuch

Cover: 9783640238354 | Displaytechnologien. Eine Übersicht und Anwendungen. | Weber (u. a.)

Displaytechnologien. Eine Übersicht und Anwendungen.

EAN: 9783640238354

Sprache: Deutsch

Von/Mit: H. Weber (u. a.)

27,95 €

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780198235286 | Anaphora | A Cross-Linguistic Study | Yan Huang | Taschenbuch | 2000

A Cross-Linguistic Study

EAN: 9780198235286

Sprache: Englisch

Von/Mit: Yan Huang

83,95 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780805821345 | Situation Awareness Analysis and Measurement | Mica R. Endsley (u. a.)

Situation Awareness Analysis and Measurement

EAN: 9780805821345

Sprache: Englisch

Von/Mit: Mica R. Endsley (u. a.)

123,30 €

Aktuell nicht verfügbar

Taschenbuch

Tipp

Cover: 9783032076113 | High Performance Computing | Sarah Neuwirth (u. a.) | Taschenbuch | xv

High Performance Computing

ISC High Performance 2025 International Workshops, Hamburg, Germany, June 10-13, 2025, Revised Selected Papers

EAN: 9783032076113

Sprache: Englisch

Von/Mit: Sarah Neuwirth (u. a.)

71,85 €

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783839621561 | Chaos und Gestalt | Eckart Michaelsen | Taschenbuch | 260 S. | Deutsch

Chaos und Gestalt

EAN: 9783839621561

Sprache: Deutsch

Von/Mit: Eckart Michaelsen

79,00 €

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Cover: 9798868820588 | Advanced Quantitative Finance with Modern C++ | Aaron de La Rosa | xx

Advanced Quantitative Finance with Modern C++

Interest Rate Modeling and Advanced Derivatives

EAN: 9798868820588

Sprache: Englisch

Von/Mit: Aaron de La Rosa

61,40 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783662721407 | Grundlagen der Theoretischen Informatik | André Schulz | Taschenbuch

Grundlagen der Theoretischen Informatik

Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen

EAN: 9783662721407

Sprache: Deutsch

Von/Mit: André Schulz

39,99 €

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Neu

Cover: 9783032171627 | Product Configuration | An Introduction for Practitioners | Buch | xiv

Product Configuration

An Introduction for Practitioners

EAN: 9783032171627

Sprache: Englisch

Von/Mit: Richard Comploi-Taupe (u. a.)

31,55 €

Erscheint am 31.05.26