Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving and Program Development Yves Bertot
Libristo kod: 02129635
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinac 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 196 b
80.57 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Lambda Calculus with Types Henk Barendregt / Knjiga Tvrdi uvez
common.buy 112.09 €
Types and Programming Languages Pierce / Knjiga Tvrdi uvez
common.buy 98.09 €
Four Pillars of Geometry John Stillwell / Knjiga Tvrdi uvez
common.buy 38.06 €
Top
Computer Networks, Global Edition Andrew Tanenbaum / Knjiga Meki uvez
common.buy 81.67 €
Rust For Rustaceans Jon Gjengset / Knjiga Meki uvez
common.buy 33.33 €
Prisma Club Prisma Team / Knjiga Meki uvez
common.buy 26.38 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving and Program Development
Autor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 472
EAN 9783642058806
ISBN 3642058809
Libristo kod 02129635
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 748
Dimenzije 155 x 235 x 26

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Tvrdi uvez
common.buy 113.70 €
Let Over Lambda Doug Hoyte / Knjiga Meki uvez
common.buy 37.66 €
Japanese Management in the Low Growth Era Daniel Dirks / Knjiga Meki uvez
common.buy 96.98 €
Zariskian Filtrations i Huishi / Knjiga Tvrdi uvez
common.buy 48.64 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Knjiga Meki uvez
common.buy 48.64 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Knjiga Tvrdi uvez
common.buy 27.49 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Knjiga Meki uvez
common.buy 27.08 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Knjiga Meki uvez
common.buy 34.74 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Knjiga Tvrdi uvez
common.buy 39.67 €
Top
Outwitting the Devil Napoleon Hill / Knjiga Meki uvez
common.buy 14.59 €
Fence Vol. 1 C.S. Pacat / Knjiga Meki uvez
common.buy 9.26 €
Top
Art of Noticing Rob Walker / Knjiga Tvrdi uvez
common.buy 15.10 €
Grumpy Monkey Freshly Squeezed Lang / Knjiga Tvrdi uvez
common.buy 9.36 €
What the Ladybird Heard Cookbook Julia Donaldson / Knjiga Tvrdi uvez
common.buy 12.88 €
Top
The Good Karma Tarot Kerry Ward / Tiskanica Karte
common.buy 19.33 €
Poker Satellite Strategy Dara O'Kearney / Knjiga Meki uvez
common.buy 23.66 €
Beginning x64 Assembly Programming Jo Van Hoey / Knjiga Meki uvez
common.buy 34.94 €
Top
Practical Engine Airflow Baechtel John Baechtel / Knjiga Meki uvez
common.buy 33.03 €
Einstein's Fridge Paul Sen / Knjiga Meki uvez
common.buy 10.06 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Knjiga Meki uvez
common.buy 17.82 €
Top
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Knjiga Meki uvez
common.buy 14.09 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Knjiga Tvrdi uvez
common.buy 13.89 €
Top
Tales from the Loop Simon Stalenhag / Knjiga Tvrdi uvez
common.buy 24.57 €
Infinite Powers Steven (Author) Strogatz / Knjiga Meki uvez
common.buy 9.96 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?