Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Certified Programs and Proofs

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

Lingua IngleseInglese
Libro In brossura
Libro Certified Programs and Proofs Chris Hawblitzel
Codice Libristo: 01662768
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

EFT - svoboda emocí Ramona B. Wagner / Libro In brossura
common.buy 3.99 €
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Libro Foglio
common.buy 21.59 €
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Libro In brossura
common.buy 24.49 €
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Libro In brossura
common.buy 33.59 €
Russland ALS Autoritares System Kay Renner / Libro In brossura
common.buy 15.99 €
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Libro In brossura
common.buy 16.89 €
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Libro In brossura
common.buy 34.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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Certified Programs and Proofs
Autore Chris Hawblitzel, Dale Miller
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 305
EAN 9783642353079
ISBN 364235307X
Codice Libristo 01662768
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 486
Dimensioni 155 x 235 x 18

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?