[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Interactive Theorem Proving and Program Development

Lingua IngleseInglese
Libro In brossura
Libro Interactive Theorem Proving and Program Development Yves Bertot
Codice Libristo: 02129635
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
SVENDITA SVENDITA
82.63 €
In magazzino in piccole quantità Inviamo entro 24 ore

30 giorni per il reso

I clienti hanno acquistato anche

Types and Programming Languages Pierce / Rigido
common.buy 124.69 €
Lambda Calculus with Types Henk Barendregt / Rigido
common.buy 124.48 €
Four Pillars of Geometry John Stillwell / Rigido
common.buy 48.69 €

A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Informazioni sul libro

Titolo completo Interactive Theorem Proving and Program Development
Autore Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 472
EAN 9783642058806
ISBN 3642058809
Codice Libristo 02129635
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 748
Dimensioni 155 x 235 x 26

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

I MIGLIORI
Delicious in Dungeon, Vol. 1 Ryoko Kui / In brossura
common.buy 16.90 €
I MIGLIORI
Tales from the Loop Simon Stalenhag / Rigido
common.buy 32.53 €
I MIGLIORI
Nevernight Jay Kristoff / In brossura
common.buy 11.66 €
I MIGLIORI
The Good Karma Tarot Kerry Ward / In brossura
common.buy 24.29 €
I MIGLIORI
Torch Against the Night Sabaa Tahir / In brossura
common.buy 12.09 €
I MIGLIORI
English Medieval Embroidery Clare Browne / In brossura
common.buy 45.91 €
Fence Vol. 1 C.S. Pacat / In brossura
common.buy 10.05 €
Infinite Powers / In brossura
common.buy 13.48 €
Dare to Sketch Felix Scheinberger / Rigido
common.buy 24.72 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits / Rigido
common.buy 17.54 €
House of Flowers ASHLEE JANE / Rigido
common.buy 28.03 €
Proof Theory Takeuti / In brossura
common.buy 25.14 €
Basic Proof Theory Anne S. Troelstra / In brossura
common.buy 74.81 €
Beginning x64 Assembly Programming Jo Van Hoey / In brossura
common.buy 44.30 €
If I Had Your Face / In brossura
common.buy 18.19 €
Mary Shelley Horror Stories Mary Shelley / Rigido
common.buy 26.11 €

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