The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642279188 - 12 de abril de 2012
En caso de que portada y título no coincidan, el título será el correcto

Derrick G. Kourie
The Correctness-by-Construction Approach to Programming 2012 edition

Precio
Mex$ 1.856
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 7 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

También disponible como:

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

266 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 12 de abril de 2012
ISBN13 9783642279188
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 266
Dimensiones 165 × 235 × 26 mm   ·   566 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Derrick G. Kourie ( Ej. Paperback Book y Hardcover Book )