phone 571 999 090
LIBRISTO 0
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č
phone Kontakt phoneJak nakupovat

Verification, Model Checking, and Abstract Interpretation

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

TOP
The Awful German Language Mark Twain / Pevná
common.buy 334 Kč
Most přes řeku Styx Quirin Jedlička / Brožovaná
common.buy 167 Kč
Storytelling Phebe Cramer / Pevná
common.buy 2 531 Kč
Comparative Constitutional Design Tom Ginsburg / Brožovaná
common.buy 1 550 Kč
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Pevná
common.buy 4 671 Kč
Visit to the Farm Michael Morpurgo / Brožovaná
common.buy 233 Kč
Desire for Society H. G. Furth / Pevná
common.buy 3 037 Kč
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Brožovaná
common.buy 790 Kč
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Brožovaná
common.buy 382 Kč

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides 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.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 558
EAN 9783662491218
ISBN 3662491214
Libristo kód 02862913
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 866
Rozměry 155 x 235 x 30

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
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 > 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

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