Predicate Calculus and Program Semantics - Monographs in Computer Science - Edsger W. Dijkstra - Książki - Springer-Verlag New York Inc. - 9781461279242 - 26 września 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 352,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 paź
Otrzymuj powiadomienia o nowych wydawnictwach Edsger W. Dijkstra

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 września 2011
ISBN13 9781461279242
Wydawcy Springer-Verlag New York Inc.
Strony 220
Wymiary 155 × 235 × 12 mm   ·   340 g
Język Angielski  

Więcej od Edsger W. Dijkstra

Pokaż wszystko

Więcej od tego samego wydawcy

Zobacz wszystko od Edsger W. Dijkstra