Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Interactive Theorem Proving and Program Development
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
Libristo kód: 02129635
Výprodej
1 831
Kč
Skladem v malém množství
Odesíláme do 24 hodin
30 dní na vrácení zboží
Zákazníci také koupili
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.
Informace o knize
Plný název
Interactive Theorem Proving and Program Development
Jazyk
Angličtina
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
