phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Interactive Theorem Proving and Program Development

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Interactive Theorem Proving and Program Development Yves Bertot
Libristo kód: 02129535
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celý popis
? points 376 b
152.20 €
Skladom u dodávateľa v malom množstve Odosielame za 12-17 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Continuous Discovery Habits Teresa Torres / Brožovaná
common.buy 20.48 €
Crush Tracy Wolff / Brožovaná
common.buy 11.05 €
Invention and Innovation / Pevná
common.buy 22.22 €
Lost Spells Robert Macfarlane / Pevná
common.buy 15.15 €
From Head to Toe Eric Carle / Brožovaná
common.buy 9.82 €
Notes on Heartbreak Annie Lord / Brožovaná
common.buy 12.28 €
Sketching from the Imagination 3dTotal / Brožovaná
common.buy 27.75 €
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Pevná
common.buy 58.37 €
Layout Essentials Revised and Updated Beth Tondreau / Brožovaná
common.buy 20.89 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Brožovaná
common.buy 36.15 €
Unfortunately Yours / Brožovaná
common.buy 16.89 €
VÝPREDAJ
Interactive Theorem Proving and Program Development Yves Bertot / Brožovaná
common.buy 74.15 €
In the Ruins of Neoliberalism Wendy Brown / Brožovaná
common.buy 24.68 €
Recollections of My Non-Existence / Pevná
common.buy 17.81 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Brožovaná
common.buy 12.79 €
Relentless: 12 Rounds to Success Eddie Hearn / Pevná
common.buy 24.88 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Informácie o knihe

Celý názov Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2004
Počet strán 472
EAN 9783540208549
ISBN 3540208542
Libristo kód 02129535
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 912
Rozmery 163 x 239 x 36

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

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