phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.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 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...
VÝPREDAJ VÝPREDAJ
72.94 €
Skladom v malom množstve Odosielame do 24 hodín

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Types and Programming Languages Pierce / Pevná
common.buy 98.13 €
Lambda Calculus with Types Henk Barendregt / Pevná
common.buy 104.98 €
Four Pillars of Geometry John Stillwell / Pevná
common.buy 42.91 €

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.

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ť

TOP
Delicious in Dungeon, Vol. 1 Ryoko Kui / Brožovaná
common.buy 14.10 €
TOP
Tales from the Loop Simon Stalenhag / Pevná
common.buy 27.40 €
TOP
Nevernight Jay Kristoff / Brožovaná
common.buy 9.76 €
TOP
The Good Karma Tarot Kerry Ward / Brožovaná
common.buy 20.14 €
TOP
Torch Against the Night Sabaa Tahir / Brožovaná
common.buy 10.97 €
TOP
English Medieval Embroidery Clare Browne / Brožovaná
common.buy 39.49 €
Fence Vol. 1 C.S. Pacat / Brožovaná
common.buy 7.75 €
Infinite Powers / Brožovaná
common.buy 11.98 €
Dare to Sketch Felix Scheinberger / Pevná
common.buy 19.74 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits / Pevná
common.buy 12.89 €
House of Flowers ASHLEE JANE / Pevná
common.buy 23.37 €
Proof Theory Takeuti / Brožovaná
common.buy 20.95 €
Basic Proof Theory Anne S. Troelstra / Brožovaná
common.buy 65.88 €
Beginning x64 Assembly Programming Jo Van Hoey / Brožovaná
common.buy 34.35 €
If I Had Your Face / Brožovaná
common.buy 17.02 €
Mary Shelley Horror Stories Mary Shelley / Pevná
common.buy 22.06 €

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