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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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.76 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 121.00 €
Top
Let Over Lambda Doug Hoyte / Kniha Brožovaná
common.buy 39.28 €
Japanese Management in the Low Growth Era Daniel Dirks / Kniha Brožovaná
common.buy 103.07 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Kniha Brožovaná
common.buy 51.73 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 29.86 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Kniha Brožovaná
common.buy 34.62 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Kniha Pevná
common.buy 25.61 €
Top
The Good Karma Tarot Kerry Ward / Tlačovina Karty
common.buy 17.71 €
Armenian History Captivating History / Kniha Brožovaná
common.buy 14.77 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Kniha Pevná
common.buy 55.18 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Kniha Brožovaná
common.buy 19.33 €
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Kniha Brožovaná
common.buy 13.15 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Kniha Pevná
common.buy 12.75 €
Top
Tales from the Loop Simon Stalenhag / Kniha Pevná
common.buy 27.13 €
Top
Art of Noticing Rob Walker / Kniha Pevná
common.buy 16.90 €
Understanding Central Europe Marcin Moskalewicz / Kniha Brožovaná
common.buy 68.75 €
Top
Infinite Powers Steven (Author) Strogatz / Kniha Brožovaná
common.buy 12.24 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Kniha Brožovaná
common.buy 13.15 €
Beginning x64 Assembly Programming Jo Van Hoey / Kniha Brožovaná
common.buy 32.09 €
Programming with Types Vlad Riscutia / Kniha Brožovaná
common.buy 55.48 €
Einstein's Fridge Paul Sen / Kniha Brožovaná
common.buy 14.27 €
Practical Engine Airflow Baechtel John Baechtel / Kniha Brožovaná
common.buy 30.47 €
Poker Satellite Strategy Dara O'Kearney / Kniha Brožovaná
common.buy 21.76 €
Chinese Girls: Hot Sexy Chinese Lingerie Girls Models Pictures Photo Art Lover / Kniha Brožovaná
common.buy 14.88 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?