Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving and Program Development Yves Bertot
Libristo kód: 02129635
Nakladateľstvo 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 207 b
85.69 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Lambda Calculus with Types Henk Barendregt / Kniha Pevná
common.buy 104.51 €
Types and Programming Languages Pierce / Kniha Pevná
common.buy 104.51 €
Four Pillars of Geometry John Stillwell / Kniha Pevná
common.buy 40.46 €
Computer Networks, Global Edition Andrew Tanenbaum / Kniha Brožovaná
common.buy 108.35 €
Top
Rust For Rustaceans Jon Gjengset / Kniha Brožovaná
common.buy 34.59 €
Top
Prisma Club Prisma Team / Kniha Brožovaná
common.buy 25.08 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving and Program Development
Autor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 472
EAN 9783642058806
ISBN 3642058809
Libristo kód 02129635
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 748
Rozmery 155 x 235 x 26

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 120.90 €
Let Over Lambda Doug Hoyte / Kniha Brožovaná
common.buy 39.25 €
A Lambda Calculus Satellite Giulio Manzonetto / Kniha Brožovaná
common.buy 39.15 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 29.84 €
Interactive Television Demystified Jerry Whitaker / Kniha Brožovaná
common.buy 43.09 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Kniha Pevná
common.buy 25.59 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Kniha Brožovaná
common.buy 34.59 €
Understanding Central Europe Marcin Moskalewicz / Kniha Brožovaná
common.buy 65.86 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Kniha Brožovaná
common.buy 19.32 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Kniha Pevná
common.buy 55.13 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Kniha Pevná
common.buy 12.74 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Kniha Brožovaná
common.buy 12.33 €
Top
Tales from the Loop Simon Stalenhag / Kniha Pevná
common.buy 27.11 €
Top
The Good Karma Tarot Kerry Ward / Tlačovina Karty
common.buy 17.70 €
Armenian History Captivating History / Kniha Brožovaná
common.buy 14.76 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Kniha Brožovaná
common.buy 52.40 €
Top
Infinite Powers Steven (Author) Strogatz / Kniha Brožovaná
common.buy 12.23 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Kniha Brožovaná
common.buy 13.24 €
Beginning x64 Assembly Programming Jo Van Hoey / Kniha Brožovaná
common.buy 32.06 €
Programming with Types Vlad Riscutia / Kniha Brožovaná
common.buy 54.22 €
Einstein's Fridge Paul Sen / Kniha Brožovaná
common.buy 14.26 €
Practical Engine Airflow Baechtel John Baechtel / Kniha Brožovaná
common.buy 30.44 €
Poker Satellite Strategy Dara O'Kearney / Kniha Brožovaná
common.buy 21.74 €
Top
Art of Noticing Rob Walker / Kniha Pevná
common.buy 16.28 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet