Predicate Calculus and Program Semantics - Monographs in Computer Science - Edsger W. Dijkstra - Livros - Springer-Verlag New York Inc. - 9781461279242 - 26 de setembro de 2011

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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

Preço

€ 81,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de jun

O que dizem nossos clientes:

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

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do 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ídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	26 de setembro de 2011
ISBN13	9781461279242
Editoras	Springer-Verlag New York Inc.
Páginas	220
Dimensões	155 × 235 × 12 mm · 340 g
Idioma	Inglês