Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Limba englezăengleză
Carte Copertă tare
Carte Interactive Theorem Proving and Program Development Yves Bertot
Codul Libristo: 02129535
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Descrierea completă
? points 309 b
671.83 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Ar putea de asemenea, să te intereseze

Interactive Theorem Proving and Program Development Yves Bertot / Carte Carte broșată
common.buy 476.32 lei
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 307.89 lei
Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion / Carte Copertă tare
common.buy 571.99 lei
Interactive Video Riad Hammoud / Carte Carte broșată
common.buy 571.99 lei
Interactive Theorem Proving Matt Kaufmann / Carte Carte broșată
common.buy 636.39 lei
Interactive Theorem Proving Marko Van Eekelen / Carte Carte broșată
common.buy 307.89 lei
Interactive Theorem Proving Lennart Beringer / Carte Carte broșată
common.buy 307.89 lei
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Carte Carte broșată
common.buy 178.77 lei
Curând
Crush Tracy Wolff / Carte Carte broșată
common.buy 46.41 lei
Lost Spells Robert Macfarlane / Carte Copertă tare
common.buy 89.90 lei
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Carte Carte broșată
common.buy 37.21 lei
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Carte Carte broșată
common.buy 216.62 lei
Relentless: 12 Rounds to Success Eddie Hearn / Carte Copertă tare
common.buy 147.82 lei
Deyrolle: French Botanical Art Emmanuelle Polle / Carte Carte broșată
common.buy 101.40 lei
Dance of the Serpents Oscar de Muriel / Carte Carte broșată
common.buy 58.95 lei
Inclusive Teaching in the Early Childhood Science Classroom Almarode / Carte Carte broșată
common.buy 350.96 lei
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Carte Carte broșată
common.buy 200.10 lei
Fighters Across Frontiers Ismee Tames / Carte Copertă tare
common.buy 191.63 lei
In the Ruins of Neoliberalism Wendy Brown / Carte Carte broșată
common.buy 152.21 lei
Cute Hand Lettering / Carte Carte broșată
common.buy 79.87 lei
Recollections of My Non-Existence / Carte Copertă tare
common.buy 79.66 lei
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Carte Carte broșată
common.buy 57.28 lei
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Carte Carte broșată
common.buy 67.22 lei
Jaunt ERIK J KREFFEL / Carte Carte broșată
common.buy 122.52 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Limba engleză
Legare Carte - Copertă tare
Data publicării 2004
Număr pagini 472
EAN 9783540208549
ISBN 3540208542
Codul Libristo 02129535
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 912
Dimensiuni 163 x 239 x 36

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo