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.

Verified Software: Theorie, Tools, Experiments

Name: Verified Software: Theorie, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02433185
Price: 1182 CZK
Availability: InStock
Author: Ernie Cohen
ISBN: 9783642541070

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Ernie Cohen

Andrey Rybalchenko

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02433185

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

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Celý popis

Libristo kód: 02433185

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

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani

Brožovaná

1 209 Kč

Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto

Brožovaná

671 Kč

Los musicatos: Y la caja de música ISABEL ASENSI LIDON

Brožovaná

345 Kč

Une touche de bleu - Tome 04 Nozomi Suzuki

Brožovaná

285 Kč

The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo

Blu-ray

418 Kč

Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus

Brožovaná

813 Kč

Dance & love. La mia musica, la mia vita Gabry Ponte

Pevná

497 Kč

Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk

Brožovaná

589 Kč

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Software: Theorie, Tools, Experiments

Autor Ernie Cohen, Andrey Rybalchenko

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2014

Počet stran 345

EAN 9783642541070

ISBN 3642541070

Libristo kód 02433185

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

Váha 5504

Rozměry 155 x 235 x 20

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