Predicate Calculus and Program Semantics - Monographs in Computer Science - Edsger W. Dijkstra - Libros - Springer-Verlag New York Inc. - 9781461279242 - 26 de septiembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Edsger W. Dijkstra
Predicate Calculus and Program Semantics - Monographs in Computer Science Softcover reprint of the original 1st ed. 1990 edition

Precio
€ 79,99

Pedido desde almacén remoto

Entrega prevista 9 - 17 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de septiembre de 2011
ISBN13 9781461279242
Editores Springer-Verlag New York Inc.
Páginas 220
Dimensiones 155 × 235 × 12 mm   ·   340 g
Lengua Inglés  

Mas por Edsger W. Dijkstra

Mostrar todo

Mere med samme udgiver

Ver todo de Edsger W. Dijkstra ( Ej. Paperback Book )