Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Libros - Springer-Verlag New York Inc. - 9781461293774 - 17 de enero de 2014
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.632
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 1 de jul.

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

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de enero de 2014
ISBN13 9781461293774
Editores Springer-Verlag New York Inc.
Páginas 353
Dimensiones 234 × 158 × 24 mm   ·   521 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Ernest G. Manes ( Ej. Paperback Book )