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č

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658528
Price: 1540 CZK
Availability: InStock

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658528

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpna 2011

This book constitutes the refereed proceedings of the Second International Conference on Interactive... Celý popis

Libristo kód: 01658528

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

Albert Einstein Johannes Wickert

/ Brožovaná

236 Kč

Physics of Space Plasma Activity Karl Schindler

/ Pevná

2 795 Kč

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

Informace o knize

Plný název Interactive Theorem Proving

Autor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2011

Počet stran 383

EAN 9783642228629

ISBN 3642228623

Libristo kód 01658528

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 605

Rozměry 155 x 235 x 23

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

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

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 > 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

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

Doručení

Nákupní rádce