Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
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
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.49 €
SPS 3.99 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Slovenská pošta 3.99 €
Zberné miesto DPD 2.99 €
Packeta 2.99 €
Kontakt
Ako nakupovať
Pomoc
Doručenie
Kuriér DPD 2.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.49 €
SPS 3.99 €
SPS Parcel Shop 2.99 €
Packeta kurýr 3.99 €
Slovenská pošta 3.99 €
Zberné miesto DPD 2.99 €
Packeta 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
▸
Prázdny :-(
0
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Th...
Celý popis
Libristo kód: 13496516
?
125 b
125 b
51.78
€
Skladom u dodávateľa
Odosielame za 5-8 dní
Až 30 dní na vrátenie tovaru
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. § The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Herečka
&
Polyglotka
EWA KASP
pre
Prehrať video
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.
Informácie o knihe
Celý názov
Interactive Theorem Proving
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2016
Počet strán
502
EAN
9783319431437
ISBN
3319431439
Libristo kód
13496516
Nakladateľstvo
Springer International Publishing AG
Váha
7781
Rozmery
155 x 235 x 29
