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

Prix

€ 81,49

Commandé depuis un entrepôt distant

Livraison prévue 30 juil. - 7 août

Recevez une notification pour les nouvelles sorties de Edsger W. Dijkstra

Nos clients disent :

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

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs

Meilleur classement sur Trustpilot

Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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édias	Livres Paperback Book (Livre avec couverture souple et dos collé)
Validé	26 septembre 2011
ISBN13	9781461279242
Éditeurs	Springer-Verlag New York Inc.
Pages	220
Dimensions	155 × 235 × 12 mm · 340 g
Langue et grammaire	Anglais