Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 196 b
1 958 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Lambda Calculus with Types Henk Barendregt / Kniha Pevná
common.buy 2 406 Kč
Types and Programming Languages Pierce / Kniha Pevná
common.buy 2 241 Kč
Four Pillars of Geometry John Stillwell / Kniha Pevná
common.buy 924 Kč
Computer Networks, Global Edition Andrew Tanenbaum / Kniha Brožovaná
common.buy 2 364 Kč
Top
Rust For Rustaceans Jon Gjengset / Kniha Brožovaná
common.buy 777 Kč
Top
Prisma Club Prisma Team / Kniha Brožovaná
common.buy 608 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Interactive Theorem Proving and Program Development
Autor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 472
EAN 9783642058806
ISBN 3642058809
Libristo kód 02129635
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 748
Rozměry 155 x 235 x 26

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 2 762 Kč
Let Over Lambda Doug Hoyte / Kniha Brožovaná
common.buy 903 Kč
A Lambda Calculus Satellite Giulio Manzonetto / Kniha Brožovaná
common.buy 893 Kč
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 682 Kč
Interactive Television Demystified Jerry Whitaker / Kniha Brožovaná
common.buy 1 042 Kč
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Kniha Pevná
common.buy 619 Kč
An Introduction to Classical and Modal Logics Adam Bjorndahl / Kniha Brožovaná
common.buy 803 Kč
Understanding Central Europe Marcin Moskalewicz / Kniha Brožovaná
common.buy 1 514 Kč
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Kniha Brožovaná
common.buy 446 Kč
Top
Berserk Deluxe Volume 7 Kentaro Miura / Kniha Pevná
common.buy 854 Kč
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Kniha Pevná
common.buy 288 Kč
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 299 Kč
Top
Tales from the Loop Simon Stalenhag / Kniha Pevná
common.buy 571 Kč
Top
The Good Karma Tarot Kerry Ward / Tiskovina Karty
common.buy 429 Kč
Armenian History Captivating History / Kniha Brožovaná
common.buy 358 Kč
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Kniha Brožovaná
common.buy 1 267 Kč
Top
Infinite Powers Steven (Author) Strogatz / Kniha Brožovaná
common.buy 235 Kč
Top
RaW Hero, Vol. 1 Akira Hiramoto / Kniha Brožovaná
common.buy 276 Kč
Beginning x64 Assembly Programming Jo Van Hoey / Kniha Brožovaná
common.buy 775 Kč
Programming with Types Vlad Riscutia / Kniha Brožovaná
common.buy 1 253 Kč
Einstein's Fridge Paul Sen / Kniha Brožovaná
common.buy 227 Kč
Practical Engine Airflow Baechtel John Baechtel / Kniha Brožovaná
common.buy 737 Kč
Poker Satellite Strategy Dara O'Kearney / Kniha Brožovaná
common.buy 490 Kč
Top
Art of Noticing Rob Walker / Kniha Pevná
common.buy 358 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet