Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving and Program Development Yves Bertot
Koda Libristo: 02129635
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 196 b
80.50 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Lambda Calculus with Types Henk Barendregt / Knjiga Trda
common.buy 106.87 €
Types and Programming Languages Pierce / Knjiga Trda
common.buy 98.01 €
Four Pillars of Geometry John Stillwell / Knjiga Trda
common.buy 38.03 €
Top
Computer Networks, Global Edition Andrew Tanenbaum / Knjiga Mehka
common.buy 81.61 €
Top
Rust For Rustaceans Jon Gjengset / Knjiga Mehka
common.buy 33.30 €
Prisma Club Prisma Team / Knjiga Mehka
common.buy 25.15 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving and Program Development
Avtor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 472
EAN 9783642058806
ISBN 3642058809
Koda Libristo 02129635
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 748
Mere 155 x 235 x 26

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Trda
common.buy 113.61 €
Let Over Lambda Doug Hoyte / Knjiga Mehka
common.buy 37.63 €
Japanese Management in the Low Growth Era Daniel Dirks / Knjiga Mehka
common.buy 96.90 €
Zariskian Filtrations i Huishi / Knjiga Trda
common.buy 48.60 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Knjiga Mehka
common.buy 48.60 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Knjiga Trda
common.buy 26.16 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Knjiga Mehka
common.buy 27.06 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Knjiga Mehka
common.buy 34.71 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Knjiga Trda
common.buy 40.35 €
Top
Outwitting the Devil Napoleon Hill / Knjiga Mehka
common.buy 13.68 €
Fence Vol. 1 C.S. Pacat / Knjiga Mehka
common.buy 7.64 €
Top
Art of Noticing Rob Walker / Knjiga Trda
common.buy 15.09 €
Grumpy Monkey Freshly Squeezed Lang / Knjiga Trda
common.buy 8.75 €
What the Ladybird Heard Cookbook Julia Donaldson / Knjiga Trda
common.buy 12.87 €
Top
The Good Karma Tarot Kerry Ward / Tiskani izdelki Karte
common.buy 18.10 €
Poker Satellite Strategy Dara O'Kearney / Knjiga Mehka
common.buy 22.13 €
Beginning x64 Assembly Programming Jo Van Hoey / Knjiga Mehka
common.buy 32.70 €
Top
Practical Engine Airflow Baechtel John Baechtel / Knjiga Mehka
common.buy 31.09 €
Einstein's Fridge Paul Sen / Knjiga Mehka
common.buy 10.05 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Knjiga Mehka
common.buy 17.80 €
Top
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Knjiga Mehka
common.buy 13.07 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Knjiga Trda
common.buy 12.97 €
Top
Tales from the Loop Simon Stalenhag / Knjiga Trda
common.buy 24.55 €
Infinite Powers Steven (Author) Strogatz / Knjiga Mehka
common.buy 9.95 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?