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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
668.34 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Interactive Theorem Proving and Program Development Yves Bertot / Carte Carte broșată
common.buy 473.84 lei
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 306.29 lei
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Carte Carte broșată
common.buy 177.84 lei
Interactive Video Riad Hammoud / Carte Carte broșată
common.buy 569.01 lei
Interactive Theorem Proving Matt Kaufmann / Carte Carte broșată
common.buy 633.08 lei
Interactive Theorem Proving Marko Van Eekelen / Carte Carte broșată
common.buy 306.29 lei
Interactive Theorem Proving Lennart Beringer / Carte Carte broșată
common.buy 306.29 lei
Deyrolle: French Botanical Art Emmanuelle Polle / Carte Carte broșată
common.buy 110.44 lei
Dance of the Serpents Oscar de Muriel / Carte Carte broșată
common.buy 66.24 lei
Relentless: 12 Rounds to Success Eddie Hearn / Carte Copertă tare
common.buy 144.46 lei
Recollections of My Non-Existence / Carte Copertă tare
common.buy 79.24 lei
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Carte Carte broșată
common.buy 215.49 lei
Top
Lost Spells Robert Macfarlane / Carte Copertă tare
common.buy 89.64 lei
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Carte Carte broșată
common.buy 196.25 lei
Fighters Across Frontiers Ismee Tames / Carte Copertă tare
common.buy 193.65 lei
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Carte Carte broșată
common.buy 37.02 lei
Cute Hand Lettering / Carte Carte broșată
common.buy 76.85 lei
Lego train adventure rhyming story book: riding a Lego train Kyle K / Carte Carte broșată
common.buy 56.99 lei
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Carte Carte broșată
common.buy 56.99 lei
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Carte Carte broșată
common.buy 66.87 lei
Top
In the Ruins of Neoliberalism Wendy Brown / Carte Carte broșată
common.buy 151.63 lei
Top
Layout Essentials Revised and Updated Beth Tondreau / Carte Carte broșată
common.buy 156.10 lei
Top
Building Microservices Sam Newman / Carte Carte broșată
common.buy 333.33 lei
Across the Isthmus to California in '52 Sarah Merriam Brooks / Carte Carte broșată
common.buy 69.99 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?