Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Livros - Springer-Verlag New York Inc. - 9781461293774 - 17 de janeiro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Ernest G. Manes
Algebraic Approaches to Program Semantics - Monographs in Computer Science 1986 edition

Preço
€ 85,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 19 - 29 de jun

O que dizem nossos clientes:

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

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

353 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de janeiro de 2014
ISBN13 9781461293774
Editoras Springer-Verlag New York Inc.
Páginas 353
Dimensões 234 × 158 × 24 mm   ·   521 g
Idioma Inglês  

Mere med samme udgiver

Ver tudo de Ernest G. Manes ( por exemplo Paperback Book )