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 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...
? points 219 b
89.39 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Lambda Calculus with Types Henk Barendregt / Libro Rigido
common.buy 113.29 €
Types and Programming Languages Pierce / Libro Rigido
common.buy 109.19 €
Four Pillars of Geometry John Stillwell / Libro Rigido
common.buy 42.19 €
Computer Networks, Global Edition Andrew Tanenbaum / Libro In brossura
common.buy 112.39 €
I migliori
Rust For Rustaceans Jon Gjengset / Libro In brossura
common.buy 36.59 €
I migliori
Prisma Club Prisma Team / Libro In brossura
common.buy 29.79 €

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.

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, 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

Interactive Theorem Proving and Program Development Yves Bertot / Libro Rigido
common.buy 126.09 €
Let Over Lambda Doug Hoyte / Libro In brossura
common.buy 42.49 €
A Lambda Calculus Satellite Giulio Manzonetto / Libro In brossura
common.buy 42.89 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Libro In brossura
common.buy 32.79 €
Interactive Television Demystified Jerry Whitaker / Libro In brossura
common.buy 48.29 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Libro Rigido
common.buy 27.89 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Libro In brossura
common.buy 37.59 €
Understanding Central Europe Marcin Moskalewicz / Libro In brossura
common.buy 68.39 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Libro In brossura
common.buy 20.89 €
I migliori
Berserk Deluxe Volume 7 Kentaro Miura / Libro Rigido
common.buy 40.09 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Libro Rigido
common.buy 14.29 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Libro In brossura
common.buy 13.59 €
I migliori
Tales from the Loop Simon Stalenhag / Libro Rigido
common.buy 28.49 €
I migliori
The Good Karma Tarot Kerry Ward / Pubblicazioni cartacee Carte
common.buy 19.89 €
Armenian History Captivating History / Libro In brossura
common.buy 16.49 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Libro In brossura
common.buy 54.19 €
I migliori
Infinite Powers Steven (Author) Strogatz / Libro In brossura
common.buy 11.09 €
I migliori
RaW Hero, Vol. 1 Akira Hiramoto / Libro In brossura
common.buy 12.69 €
Beginning x64 Assembly Programming Jo Van Hoey / Libro In brossura
common.buy 35.89 €
Programming with Types Vlad Riscutia / Libro In brossura
common.buy 56.09 €
Einstein's Fridge Paul Sen / Libro In brossura
common.buy 11.39 €
Practical Engine Airflow Baechtel John Baechtel / Libro In brossura
common.buy 33.79 €
Poker Satellite Strategy Dara O'Kearney / Libro In brossura
common.buy 24.29 €
I migliori
Art of Noticing Rob Walker / Libro Rigido
common.buy 16.89 €

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