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

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Certified Programs and Proofs Chris Hawblitzel
Código Libristo: 01662768
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

EFT - svoboda emocí Ramona B. Wagner / Libro Tapa blanda
common.buy 3.99 €
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Libro Hoja
common.buy 22.59 €
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Libro Tapa blanda
common.buy 24.99 €
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Libro Tapa blanda
common.buy 35.49 €
Russland ALS Autoritares System Kay Renner / Libro Tapa blanda
common.buy 16.89 €
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Libro Tapa blanda
common.buy 17.89 €
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Libro Tapa blanda
common.buy 33.59 €

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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 Certified Programs and Proofs
Autor Chris Hawblitzel, Dale Miller
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 305
EAN 9783642353079
ISBN 364235307X
Código Libristo 01662768
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 486
Dimensiones 155 x 235 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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 > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
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

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Libro Tapa dura
common.buy 78.59 €
Hex and Hexability Kate Johnson / Libro Tapa blanda
common.buy 10.99 €
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Libro Tapa blanda
common.buy 24.89 €
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Libro Tapa blanda
common.buy 26.79 €
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Libro Tapa blanda
common.buy 13.89 €
Who Was Che Guevara? Ellen Labrecque / Libro Tapa blanda
common.buy 6.59 €
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Libro Tapa blanda
common.buy 58.19 €
Popular
The Scarlet Letter Nathaniel Hawthorne / Libro Tapa dura
common.buy 21.19 €
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Libro Tapa blanda
common.buy 18.09 €
Little Black Songbook Tom Waits / Libro Libro
common.buy 16.49 €
Dark Tort Diane Mott Davidson / Libro Tapa blanda
common.buy 8.69 €
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Libro Tapa blanda
common.buy 74.49 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?