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: 80.99 EUR
Availability: OutOfStock
Author: Edsger W. Dijkstra

Cena

€ 80,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 19. jun

Kaj pravijo naše stranke:

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

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

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

Medij	Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano	26. septembra 2011
ISBN13	9781461279242
Založniki	Springer-Verlag New York Inc.
Strani	220
Dimenzije	155 × 235 × 12 mm · 340 g
Jezik	Angleščina