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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Lingua IngleseInglese
Libro Rigido
Libro Interactive Theorem Proving and Program Development Yves Bertot
Codice Libristo: 02129535
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Descrizione completa
? points 309 b
126.09 €
Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

Potrebbe interessarti anche

Interactive Theorem Proving and Program Development Yves Bertot / Libro In brossura
common.buy 89.39 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Libro In brossura
common.buy 57.79 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Libro In brossura
common.buy 33.49 €
Interactive Video Riad Hammoud / Libro In brossura
common.buy 107.29 €
Interactive Theorem Proving Matt Kaufmann / Libro In brossura
common.buy 119.39 €
Interactive Theorem Proving Marko Van Eekelen / Libro In brossura
common.buy 57.79 €
Interactive Theorem Proving Lennart Beringer / Libro In brossura
common.buy 57.79 €
Deyrolle: French Botanical Art Emmanuelle Polle / Libro In brossura
common.buy 21.09 €
Dance of the Serpents Oscar de Muriel / Libro In brossura
common.buy 12.49 €
Relentless: 12 Rounds to Success Eddie Hearn / Libro Rigido
common.buy 27.29 €
Recollections of My Non-Existence / Libro Rigido
common.buy 14.99 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Libro In brossura
common.buy 40.69 €
I migliori
Lost Spells Robert Macfarlane / Libro Rigido
common.buy 14.99 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Libro In brossura
common.buy 36.99 €
Fighters Across Frontiers Ismee Tames / Libro Rigido
common.buy 40.59 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Libro In brossura
common.buy 6.99 €
Cute Hand Lettering / Libro In brossura
common.buy 14.49 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Libro In brossura
common.buy 10.69 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Libro In brossura
common.buy 10.69 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Libro In brossura
common.buy 12.59 €
I migliori
In the Ruins of Neoliberalism Wendy Brown / Libro In brossura
common.buy 28.59 €
Layout Essentials Revised and Updated Beth Tondreau / Libro In brossura
common.buy 29.49 €
I migliori
Building Microservices Sam Newman / Libro In brossura
common.buy 62.89 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Libro In brossura
common.buy 13.19 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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 Interactive Theorem Proving and Program Development
Autore Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2004
Numero di pagine 472
EAN 9783540208549
ISBN 3540208542
Codice Libristo 02129535
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 912
Dimensioni 163 x 239 x 36

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

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