The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9 de mayo de 2014
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.864
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 6 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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de mayo de 2014
ISBN13 9783642448546
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 266
Dimensiones 155 × 235 × 15 mm   ·   394 g
Lengua Inglés  

Mere med samme udgiver

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