Edsger W. Dijkstra
Predicate Calculus and Program Semantics - Monographs in Computer Science Edsger W. Dijkstra Softcover reprint of the original 1st ed. 1990 edition

Name: Predicate Calculus and Program Semantics - Monographs in Computer Science
Price: 82.49 EUR
Availability: OutOfStock
Author: Edsger W. Dijkstra

Preis

€ 82,49

Bestellware

Lieferdatum: ca. 10. - 18. Aug

Benachrichtigungen über neue Veröffentlichungen von Edsger W. Dijkstra erhalten

Unsere Kunden sagen:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

oder

Noch nicht bewertet

Predicate Calculus and Program Semantics - Monographs in Computer Science

Edsger W. Dijkstra

Softcover reprint of the original 1st ed. 1990 edition

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.

220 pages, biography

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	26. September 2011
ISBN13	9781461279242
Verlag	Springer-Verlag New York Inc.
Seitenanzahl	220
Maße	155 × 235 × 12 mm · 340 g
Sprache	Englisch