phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Interactive Theorem Proving

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Christian Urban
Libristo kód: 09378411
Nakladatelství Springer International Publishing AG, srpna 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Harmony in Chopin David Damschroder / Brožovaná
common.buy 1 150 Kč
God's Not Dead Adult Study Guide Rice Broocks / Brožovaná
common.buy 291 Kč
Deus Comedieta Tade Bolade / Brožovaná
common.buy 332 Kč
Poetry of Being Vaidehi Raipat / Brožovaná
common.buy 172 Kč
And All for What? D.W.J. Cuddeford / Pevná
common.buy 1 250 Kč
Klementina von Porretta Christoph Martin Wieland / Brožovaná
common.buy 419 Kč
Připravujeme
Khaqani, Poet-Philosopher of Medieval Persia Alireza Korangy / Brožovaná
common.buy 2 752 Kč
Brooklyn Heights Sublet Jonah Cohen / Brožovaná
common.buy 673 Kč
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Noty
common.buy 590 Kč
Strandgut Tanja Korf / Brožovaná
common.buy 593 Kč
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Pevná
common.buy 2 459 Kč
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Brožovaná
common.buy 1 173 Kč
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Brožovaná
common.buy 884 Kč

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Informace o knize

Plný název Interactive Theorem Proving
Autor Christian Urban, Xingyuan Zhang
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 469
EAN 9783319221014
ISBN 3319221019
Libristo kód 09378411
Nakladatelství Springer International Publishing AG
Váha 7256
Rozměry 155 x 235 x 28

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Počítačové sítě a komunikace > Zabezpečení sítě
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačová bezpečnost
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

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