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 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €
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.23 €
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 106.87 €
Types and Programming Languages Pierce / Kniha Pevná
common.buy 103.85 €
Four Pillars of Geometry John Stillwell / Kniha Pevná
common.buy 40.25 €
Top
Computer Networks, Global Edition Andrew Tanenbaum / Kniha Brožovaná
common.buy 86.74 €
Top
Rust For Rustaceans Jon Gjengset / Kniha Brožovaná
common.buy 35.82 €
Prisma Club Prisma Team / Kniha Brožovaná
common.buy 23.94 €

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.25 €
Let Over Lambda Doug Hoyte / Kniha Brožovaná
common.buy 37.63 €
Japanese Management in the Low Growth Era Daniel Dirks / Kniha Brožovaná
common.buy 102.44 €
Zariskian Filtrations i Huishi / Kniha Pevná
common.buy 51.42 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Kniha Brožovaná
common.buy 51.42 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Kniha Pevná
common.buy 26.16 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 27.06 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Kniha Brožovaná
common.buy 34.71 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Kniha Pevná
common.buy 38.03 €
Top
Outwitting the Devil Napoleon Hill / Kniha Brožovaná
common.buy 13.68 €
Fence Vol. 1 C.S. Pacat / Kniha Brožovaná
common.buy 7.64 €
Top
Art of Noticing Rob Walker / Kniha Pevná
common.buy 17.00 €
Grumpy Monkey Freshly Squeezed Lang / Kniha Pevná
common.buy 8.75 €
What the Ladybird Heard Cookbook Julia Donaldson / Kniha Pevná
common.buy 13.88 €
Top
The Good Karma Tarot Kerry Ward / Tlačovina Karty
common.buy 17.10 €
Poker Satellite Strategy Dara O'Kearney / Kniha Brožovaná
common.buy 22.13 €
Beginning x64 Assembly Programming Jo Van Hoey / Kniha Brožovaná
common.buy 32.70 €
Top
Practical Engine Airflow Baechtel John Baechtel / Kniha Brožovaná
common.buy 31.09 €
Einstein's Fridge Paul Sen / Kniha Brožovaná
common.buy 14.08 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Kniha Brožovaná
common.buy 17.80 €
Top
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Kniha Brožovaná
common.buy 14.08 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Kniha Pevná
common.buy 12.97 €
Top
Tales from the Loop Simon Stalenhag / Kniha Pevná
common.buy 27.16 €
Infinite Powers Steven (Author) Strogatz / Kniha Brožovaná
common.buy 13.78 €

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ť?