Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autore: Yves Bertot, Yves Bertot, P. Castéran

hardback Categoria: Computer Programming / Software Development Categoria: Scienza del computer Categoria: Computing: General Categoria: Ingegneria del software Categoria: Intelligenza artificiale Categoria: Computer Architecture & Logiche Categoria: Analisi e Design Systems Categoria: Logica matematica Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Il nostro prezzo: 110.02 EUR (prezzo aggiornato il 21.08.2025) Spedizione gratuita in Italia Commenti dei lettori e recensioni del libro: Amazon

Altri libri che ti consigliamo insieme a questo:

Godel, Escher, Bach Prezzo: 23.50 EUR

An Illustrated Book of Bad Arguments Prezzo: 14.05 EUR

Interactive Theorem Proving and Program Development Prezzo: 64.24 EUR

Geometry of Continued Fractions Prezzo: 81.03 EUR

Libri della categoria Logica matematica

Più di libri

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Prezzo: 10.86 EUR Mostra dettagli libro	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Prezzo: 13.13 EUR Mostra dettagli libro
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Prezzo: 11.16 EUR Mostra dettagli libro	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Prezzo: 11.17 EUR Mostra dettagli libro
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Prezzo: 11.44 EUR Mostra dettagli libro	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Prezzo: 11.47 EUR Mostra dettagli libro
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Prezzo: 10.71 EUR Mostra dettagli libro	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Prezzo: 11.53 EUR Mostra dettagli libro
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Prezzo: 13.13 EUR Mostra dettagli libro	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Prezzo: 10.40 EUR Mostra dettagli libro
Bridge Secrets: Don'T Miss a Trick Prezzo: 11.27 EUR Mostra dettagli libro	Limitless Mind: Learn, Lead and Live without Barriers Prezzo: 18.09 EUR Mostra dettagli libro
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Prezzo: 16.42 EUR Mostra dettagli libro	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Prezzo: 12.81 EUR Mostra dettagli libro
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Prezzo: 16.46 EUR Mostra dettagli libro	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Prezzo: 18.33 EUR Mostra dettagli libro
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Prezzo: 21.36 EUR Mostra dettagli libro	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Prezzo: 29.86 EUR Mostra dettagli libro
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Prezzo: 28.75 EUR Mostra dettagli libro	Math Proofs Demystified Prezzo: 19.67 EUR 0.00 EUR Mostra dettagli libro