Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Libristo kód: 02340914
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Celý popis
? points 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

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Kniha Brožovaná
common.buy 468 Kč
Hexen und Magie Johannes Dillinger / Kniha Brožovaná
common.buy 543 Kč
Je ne veux pas mourir idiot Georges Wolinski / Kniha Brožovaná
common.buy 317 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Kenneth McMillan, Xavier Rival
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 493
EAN 9783642540127
ISBN 3642540120
Libristo kód 02340914
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 7664
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
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
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

Mohlo by vás také zajímat

Subnational Population Estimates David A. Swanson / Kniha Pevná
common.buy 4 238 Kč
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Kniha Brožovaná
common.buy 445 Kč
Human Experiment David Carmichael / Kniha Pevná
common.buy 4 243 Kč
Top
History of Judaism Martin Goodman / Kniha Brožovaná
common.buy 400 Kč
Follow Me Adult Colouring Book Esther Pincini / Kniha Brožovaná
common.buy 319 Kč
Spatial Modeling Principles in Earth Sciences Zekai Sen / Kniha Brožovaná
common.buy 3 379 Kč
Naturalizations of Mexican Americans John P Schmal / Kniha Brožovaná
common.buy 849 Kč
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Kniha Brožovaná
common.buy 997 Kč
Perfect Pet for Peyton Mr Rick Osborne / Kniha Pevná
common.buy 325 Kč
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Kniha Brožovaná
common.buy 4 499 Kč
Anecdotal Theory Jane Gallop / Kniha Brožovaná
common.buy 803 Kč
Atlas of Rectal Endosonography John Beynon / Kniha Brožovaná
common.buy 1 182 Kč
New Directions in Wireless Communications Research Vahid Tarokh / Kniha Pevná
common.buy 4 060 Kč

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