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 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
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 207 b
85.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Lambda Calculus with Types Henk Barendregt / Knjiga Tvrdi uvez
common.buy 109.57 €
Types and Programming Languages Pierce / Knjiga Tvrdi uvez
common.buy 104.51 €
Four Pillars of Geometry John Stillwell / Knjiga Tvrdi uvez
common.buy 40.46 €
Computer Networks, Global Edition Andrew Tanenbaum / Knjiga Meki uvez
common.buy 108.35 €
Top
Rust For Rustaceans Jon Gjengset / Knjiga Meki uvez
common.buy 34.59 €
Top
Prisma Club Prisma Team / Knjiga Meki uvez
common.buy 27.61 €

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 120.90 €
Let Over Lambda Doug Hoyte / Knjiga Meki uvez
common.buy 41.17 €
A Lambda Calculus Satellite Giulio Manzonetto / Knjiga Meki uvez
common.buy 39.15 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Knjiga Meki uvez
common.buy 29.84 €
Interactive Television Demystified Jerry Whitaker / Knjiga Meki uvez
common.buy 45.92 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Knjiga Tvrdi uvez
common.buy 26.90 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Knjiga Meki uvez
common.buy 34.59 €
Understanding Central Europe Marcin Moskalewicz / Knjiga Meki uvez
common.buy 65.86 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Knjiga Meki uvez
common.buy 20.23 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Knjiga Tvrdi uvez
common.buy 37.93 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Knjiga Tvrdi uvez
common.buy 13.55 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Knjiga Meki uvez
common.buy 13.04 €
Top
Tales from the Loop Simon Stalenhag / Knjiga Tvrdi uvez
common.buy 25.28 €
Top
The Good Karma Tarot Kerry Ward / Tiskanica Karte
common.buy 19.01 €
Armenian History Captivating History / Knjiga Meki uvez
common.buy 15.77 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Knjiga Meki uvez
common.buy 52.40 €
Top
Infinite Powers Steven (Author) Strogatz / Knjiga Meki uvez
common.buy 10.41 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Knjiga Meki uvez
common.buy 12.13 €
Beginning x64 Assembly Programming Jo Van Hoey / Knjiga Meki uvez
common.buy 34.09 €
Programming with Types Vlad Riscutia / Knjiga Meki uvez
common.buy 54.22 €
Einstein's Fridge Paul Sen / Knjiga Meki uvez
common.buy 10.82 €
Practical Engine Airflow Baechtel John Baechtel / Knjiga Meki uvez
common.buy 32.37 €
Poker Satellite Strategy Dara O'Kearney / Knjiga Meki uvez
common.buy 23.16 €
Top
Art of Noticing Rob Walker / Knjiga Tvrdi uvez
common.buy 15.98 €

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