Carel S. Scholten – författare
Visar alla böcker från författaren Carel S. Scholten. Handla med fri frakt och snabb leverans.
2 produkter
Predicate Calculus and Program Semantics
Av Carel S. Scholten, Edsger W. Dijkstra
E-bok, 2012
1251 kr
Lägg i varukorg
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 …
Predicate Calculus and Program Semantics
Av Edsger W. Dijkstra, Carel S. Scholten
Häftad, 2011
961 kr
Lägg i varukorg
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 …
