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

Prijs

€ 81,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jun.

Onze klanten zeggen:

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

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

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

Media	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	26 september 2011
ISBN13	9781461279242
Uitgevers	Springer-Verlag New York Inc.
Pagina's	220
Afmetingen	155 × 235 × 12 mm · 340 g
Taal en grammatica	Engels