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.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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.83 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Lambda Calculus with Types Henk Barendregt / Knjiga Trda
common.buy 104.38 €
Types and Programming Languages Pierce / Knjiga Trda
common.buy 98.42 €
Four Pillars of Geometry John Stillwell / Knjiga Trda
common.buy 38.19 €
Top
Computer Networks, Global Edition Andrew Tanenbaum / Knjiga Mehka
common.buy 102.96 €
Top
Rust For Rustaceans Jon Gjengset / Knjiga Mehka
common.buy 32.02 €
Top
Prisma Club Prisma Team / Knjiga Mehka
common.buy 26.36 €

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.98 €
Let Over Lambda Doug Hoyte / Knjiga Mehka
common.buy 39.20 €
A Lambda Calculus Satellite Giulio Manzonetto / Knjiga Mehka
common.buy 39.10 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Knjiga Mehka
common.buy 29.80 €
Interactive Television Demystified Jerry Whitaker / Knjiga Mehka
common.buy 43.04 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Knjiga Trda
common.buy 25.56 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Knjiga Mehka
common.buy 34.55 €
Understanding Central Europe Marcin Moskalewicz / Knjiga Mehka
common.buy 62.54 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Knjiga Mehka
common.buy 19.29 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Knjiga Trda
common.buy 35.26 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Knjiga Trda
common.buy 12.72 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Knjiga Mehka
common.buy 12.32 €
Top
Tales from the Loop Simon Stalenhag / Knjiga Trda
common.buy 25.25 €
Top
The Good Karma Tarot Kerry Ward / Tiskani izdelki Karte
common.buy 17.67 €
Armenian History Captivating History / Knjiga Mehka
common.buy 14.74 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Knjiga Mehka
common.buy 49.81 €
Top
Infinite Powers Steven (Author) Strogatz / Knjiga Mehka
common.buy 9.69 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Knjiga Mehka
common.buy 11.31 €
Beginning x64 Assembly Programming Jo Van Hoey / Knjiga Mehka
common.buy 32.02 €
Programming with Types Vlad Riscutia / Knjiga Mehka
common.buy 51.73 €
Einstein's Fridge Paul Sen / Knjiga Mehka
common.buy 10.10 €
Practical Engine Airflow Baechtel John Baechtel / Knjiga Mehka
common.buy 30.41 €
Poker Satellite Strategy Dara O'Kearney / Knjiga Mehka
common.buy 21.72 €
Top
Art of Noticing Rob Walker / Knjiga Trda
common.buy 14.74 €

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