«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Correctness-by-Construction Approach to Programming

Idioma InglésInglés
Libro Tapa blanda
Libro Correctness-by-Construction Approach to Programming Derrick G. Kourie
Código Libristo: 02685074
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2014
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 8-11 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Grenzen der Größe von Tieren und Pflanzen Ramin Amirmardfar / Libro Tapa blanda
common.buy 35.49 €
Valós idők Tonio Schachinger / Libro Tapa dura
common.buy 15.59 €

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.§

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 266
EAN 9783642448546
ISBN 3642448542
Código Libristo 02685074
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 433
Dimensiones 155 x 235 x 16

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

The Sexopaths: When human nature escapes human control Bruce Beckham / Libro Tapa blanda
common.buy 11.19 €
She Landed On My Doorstep Floridawn Lewis / Libro Tapa blanda
common.buy 12.59 €
THE BOOMER'S BOOK OF CLASSIC ROCK GUITAR / Libro Tapa blanda
common.buy 21.79 €
Why God Won't Go Away McGrath Alister DPhil DD / Libro electrónico Adobe ePub DRM
common.buy 9.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo