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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Libristo kód: 09136925
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Kein Makel um die Liberator Emmerich Nilson / Kniha Brožovaná
common.buy 156 Kč
Verteidigung als Angriff Michael Multhammer / Kniha Pevná
common.buy 3 350 Kč
Modernitat ALS Paradox Birgit Hoock / Kniha Pevná
common.buy 2 732 Kč
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Kniha Brožovaná
common.buy 315 Kč
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Kniha Brožovaná
common.buy 1 324 Kč
Je m'habille - a.telier, emanuela collini Xxxxxxx Kniha Kniha
common.buy 153 Kč
Gruzínština konverzace collegium / Kniha Brožovaná
common.buy 213 Kč
Gastronomie českého středověku Monika Černá-Feyfrlíková / Kniha Brožovaná
common.buy 339 Kč
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Kniha Pevná
common.buy 1 033 Kč

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical 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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 468
EAN 9783662460801
ISBN 3662460807
Libristo kód 09136925
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 7314
Rozměry 155 x 235 x 25

Kategorie

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

Migrant Passage Noelle Kateri Brigden / Kniha Pevná
common.buy 3 841 Kč
Alien Zone II Rick Kuhn / Kniha Brožovaná
common.buy 664 Kč
Prosecuting Maritime Piracy Michael P. Scharf / E-kniha Adobe ePub DRM
common.buy 1 430 Kč
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Kniha Pevná
common.buy 619 Kč
Society, Institutions, and Individuals David G Embrick / Kniha Brožovaná
common.buy 3 354 Kč
What's What in America Eugene V. Brewster / Kniha Brožovaná
common.buy 522 Kč
Flight of the Valkyrie K S Daniels / Kniha Brožovaná
common.buy 299 Kč
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Kniha Brožovaná
common.buy 221 Kč
Annabelle's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 358 Kč
New Wine T a Prickett / Kniha Brožovaná
common.buy 308 Kč
West Dorset Guide Book / Kniha Brožovaná
common.buy 172 Kč
Political History of Spanish José Del Valle / Kniha Brožovaná
common.buy 1 293 Kč
Modern Leadership Development and Excellence DR.S.K. BABOOA / Kniha Brožovaná
common.buy 382 Kč
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Kniha Brožovaná
common.buy 342 Kč
Just Solution Stephen Yearwood / Kniha Brožovaná
common.buy 339 Kč
Two Days of Doubt Cort / Kniha Brožovaná
common.buy 308 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?