Alle Kategorien
Bücher
(Land-)Karten
Spielzeug
Kalender
Gesellschaftsspiele
Schreibwaren
Schule & Lernen
0,00 €*
Cover: 9780521018296 | Programs, Recursion and Unbounded Choice | Wim H. Hesselink (u. a.)
Rückseite: 9780521018296 | Programs, Recursion and Unbounded Choice | Wim H. Hesselink (u. a.)
Cover: 9780521018296 | Programs, Recursion and Unbounded Choice | Wim H. Hesselink (u. a.)
Rückseite: 9780521018296 | Programs, Recursion and Unbounded Choice | Wim H. Hesselink (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Programs, Recursion and Unbounded Choice
Taschenbuch von Wim H. Hesselink (u. a.)
Sprache: Englisch

66,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
A complete account of the predicate transformation calculus semantics of sequential programs.
A complete account of the predicate transformation calculus semantics of sequential programs.
Inhaltsverzeichnis
List of symbols; Introduction; 1. Weakest preconditions; 2. Annotation, recursion and repetition; 3. Healthiness laws; 4. Semantics of recursion; 5. Ramifications; 6. Relational semantics; 7. Determinacy and disjunctivity; 8. Syntactic criteria; 9. Operational semantics of recursion; 10. Procedure substitutions; 11. Induction and semantic equality; 12. Induction and refinement; 13. The strong preorder; 14. Temporal operators; 15. Predicative fairness; 16. Solutions of exercises; References; Index of concepts and identifiers.
Details
Erscheinungsjahr: 2005
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521018296
ISBN-10: 0521018293
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hesselink, Wim H.
Wim H., Hesselink
Redaktion: Rijsbergen, C. J. van
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 244 x 170 x 13 mm
Von/Mit: Wim H. Hesselink (u. a.)
Erscheinungsdatum: 31.05.2005
Gewicht: 0,422 kg
Artikel-ID: 102282080
Inhaltsverzeichnis
List of symbols; Introduction; 1. Weakest preconditions; 2. Annotation, recursion and repetition; 3. Healthiness laws; 4. Semantics of recursion; 5. Ramifications; 6. Relational semantics; 7. Determinacy and disjunctivity; 8. Syntactic criteria; 9. Operational semantics of recursion; 10. Procedure substitutions; 11. Induction and semantic equality; 12. Induction and refinement; 13. The strong preorder; 14. Temporal operators; 15. Predicative fairness; 16. Solutions of exercises; References; Index of concepts and identifiers.
Details
Erscheinungsjahr: 2005
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521018296
ISBN-10: 0521018293
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hesselink, Wim H.
Wim H., Hesselink
Redaktion: Rijsbergen, C. J. van
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 244 x 170 x 13 mm
Von/Mit: Wim H. Hesselink (u. a.)
Erscheinungsdatum: 31.05.2005
Gewicht: 0,422 kg
Artikel-ID: 102282080
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
-14 %
Cover: 9781430243267 | Event-Based Programming | Taking Events to the Limit | Ted Faison
Event-Based Programming
Taking Events to the Limit
EAN: 9781430243267
Sprache: Englisch
Von/Mit: Ted Faison

55,40 €* UVP 64,19 €

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780521644082 | The Haskell School of Expression | Paul Hudak (u. a.) | Taschenbuch
The Haskell School of Expression
Learning Functional Programming Through Multimedia
EAN: 9780521644082
Sprache: Englisch
Von/Mit: Paul Hudak (u. a.)

84,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
-10 %
Tipp
Cover: 9781484234105 | Bad Programming Practices 101 | Karl Beecher | Taschenbuch | xxii
Bad Programming Practices 101
Become a Better Coder by Learning How (Not) to Program
EAN: 9781484234105
Sprache: Englisch
Von/Mit: Karl Beecher

43,45 €* UVP 48,14 €

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783752839616 | Java programmieren lernen für Einsteiger | Das Übungsheft | Buch
Java programmieren lernen für Einsteiger
Das Übungsheft
EAN: 9783752839616
Sprache: Deutsch
Von/Mit: Jophil George (u. a.)

11,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781955977876 | Advanced SQL with SAS | Christian Fg Schendera | Taschenbuch | 2022
Advanced SQL with SAS
EAN: 9781955977876
Sprache: Englisch
Von/Mit: Christian Fg Schendera

84,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367659028 | Software Metrics | A Rigorous and Practical Approach, Third Edition
Software Metrics
A Rigorous and Practical Approach, Third Edition
EAN: 9780367659028
Sprache: Englisch
Von/Mit: James Bieman (u. a.)

61,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781804619643 | Salesforce Sales Cloud - An Implementation Handbook | Kerry Townsend
Salesforce Sales Cloud - An Implementation Handbook
A practical guide from design to deployment for driving success in sales
EAN: 9781804619643
Sprache: Englisch
Von/Mit: Kerry Townsend

53,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9789365891577 | Software Testing Strategies | Panagiotis Leloudas | Taschenbuch | 2025
Software Testing Strategies
Accelerating software delivery with continuous testing and integration (English Edition)
EAN: 9789365891577
Sprache: Englisch
Von/Mit: Panagiotis Leloudas

53,20 €*

Lieferzeit 1-2 Wochen

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