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 Carte broșată
Carte Interactive Theorem Proving and Program Development Yves Bertot
Codul Libristo: 02129635
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 219 b
475.60 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Lambda Calculus with Types Henk Barendregt / Carte Copertă tare
common.buy 603.06 lei
Types and Programming Languages Pierce / Carte Copertă tare
common.buy 580.82 lei
Four Pillars of Geometry John Stillwell / Carte Copertă tare
common.buy 224.33 lei
Computer Networks, Global Edition Andrew Tanenbaum / Carte Carte broșată
common.buy 597.84 lei
Top
Rust For Rustaceans Jon Gjengset / Carte Carte broșată
common.buy 194.78 lei
Top
Prisma Club Prisma Team / Carte Carte broșată
common.buy 151.98 lei

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.

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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 472
EAN 9783642058806
ISBN 3642058809
Codul Libristo 02129635
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 748
Dimensiuni 155 x 235 x 26

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

Ar putea de asemenea, să te intereseze

Interactive Theorem Proving and Program Development Yves Bertot / Carte Copertă tare
common.buy 670.81 lei
Let Over Lambda Doug Hoyte / Carte Carte broșată
common.buy 226.31 lei
A Lambda Calculus Satellite Giulio Manzonetto / Carte Carte broșată
common.buy 182.57 lei
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Carte Carte broșată
common.buy 156.99 lei
Interactive Television Demystified Jerry Whitaker / Carte Carte broșată
common.buy 256.69 lei
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Carte Copertă tare
common.buy 148.43 lei
An Introduction to Classical and Modal Logics Adam Bjorndahl / Carte Carte broșată
common.buy 181.94 lei
Understanding Central Europe Marcin Moskalewicz / Carte Carte broșată
common.buy 363.90 lei
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Carte Carte broșată
common.buy 111.06 lei
Top
Berserk Deluxe Volume 7 Kentaro Miura / Carte Copertă tare
common.buy 213.47 lei
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Carte Copertă tare
common.buy 75.88 lei
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Carte Carte broșată
common.buy 72.12 lei
Top
Tales from the Loop Simon Stalenhag / Carte Copertă tare
common.buy 133.30 lei
Top
The Good Karma Tarot Kerry Ward / Materiale tipărite Cărți
common.buy 106.05 lei
Armenian History Captivating History / Carte Carte broșată
common.buy 87.99 lei
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Carte Carte broșată
common.buy 288.21 lei
Top
Infinite Powers Steven (Author) Strogatz / Carte Carte broșată
common.buy 58.87 lei
Top
RaW Hero, Vol. 1 Akira Hiramoto / Carte Carte broșată
common.buy 67.84 lei
Beginning x64 Assembly Programming Jo Van Hoey / Carte Carte broșată
common.buy 190.82 lei
Programming with Types Vlad Riscutia / Carte Carte broșată
common.buy 298.23 lei
Einstein's Fridge Paul Sen / Carte Carte broșată
common.buy 60.64 lei
Practical Engine Airflow Baechtel John Baechtel / Carte Carte broșată
common.buy 179.75 lei
Poker Satellite Strategy Dara O'Kearney / Carte Carte broșată
common.buy 129.33 lei
Top
Art of Noticing Rob Walker / Carte Copertă tare
common.buy 89.77 lei

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