Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Interactive Theorem Proving

Mauricio Ayala-Rincón

César A. Mu?oz

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16771860

Nakladatelství Springer International Publishing AG, srpen 2017

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Celý popis

Libristo kód: 16771860

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi

Hra

1 787 Kč

Paris Zola

Brožovaná

250 Kč

Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab

Brožovaná

1 135 Kč

Természetes spiritualitás Pál Ferenc

Brožovaná

236 Kč

La Normandie gourmande en 48 recettes (FR) PERETTI

Brožovaná

245 Kč

Mirai Nikki - New Edition 01 Josef Shanel

Brožovaná

271 Kč

Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek

Audio CD

282 Kč

Maths 1re Enseignement scientifique (2023) - Manuel élève Milan

Kniha

723 Kč

Terapeutické rodičovstvo Sarah Naish

Brožovaná

411 Kč

Digitale Bildverarbeitung Martin Werner

Brožovaná

865 Kč

Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J

Brožovaná

834 Kč

Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper

Brožovaná

145 Kč

Oeuvres Completes Tome 3, 2 Sophie Cottin

Brožovaná

511 Kč

Book of Blessings Heb Raymond Cintas

Pevná

1 386 Kč

Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A

Brožovaná

358 Kč

Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena

Brožovaná

813 Kč

Nessahira Esin Kiroglu

Brožovaná

348 Kč

Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino

Brožovaná

1 115 Kč

Diagnose Algebraischen Denkens ALEXANDER MEYER

Brožovaná

1 544 Kč

The Raging Wrath Of The Easter Bunny Demo Mr. Bungle

Audio CD

435 Kč

Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz

Brožovaná

369 Kč

Tout un zoo en pâte à modeler Oren

binding.

468 Kč

Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho

Brožovaná

813 Kč

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.