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

Cena

€ 84,99

Objednané zo vzdialeného skladu

Očakávané doručenie 16. - 24. jún

Naši zákazníci hovoria:

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

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na 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

Médium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	26. septembra 2011
ISBN13	9781461279242
Vydavatelia	Springer-Verlag New York Inc.
Strany	220
Rozmery	155 × 235 × 12 mm · 340 g
Jazyk	Angličtina