phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Static Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Static Analysis Markus Müller-Olm
Libristo kód: 05166407
Nakladatelství Springer International Publishing AG, srpna 2014
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Připravujeme
Polynomial Root-finding And Polynomiography Bahman Kalantari / Pevná
common.buy 5 406 Kč
Interpreting Weight Jeffery Sobal / Pevná
common.buy 3 105 Kč
Peace After Civil War Adrian Gauci / Pevná
common.buy 1 531 Kč
McGraw-Hill's 500 College Physics Questions Alvin Halpern / Brožovaná
common.buy 507 Kč
The Shadow of Black Wings James Calbraith / Brožovaná
common.buy 349 Kč
Theological Commentary to the Midrash Jacob Neusner / Pevná
common.buy 3 246 Kč
Surface Ocean Lower Atmosphere Processes Corinne Le Quere / Pevná
common.buy 4 234 Kč
Revolution of the Heart Haiyan Lee / Pevná
common.buy 3 713 Kč
Parque Nacional Corcovado Antonio Vizcaino / Pevná
common.buy 1 917 Kč
Studies in Seventeenth-Century European Philosophy M. A. Stewart / Pevná
common.buy 5 108 Kč
Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein / Brožovaná
common.buy 1 678 Kč

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Informace o knize

Plný název Static Analysis
Autor Markus Müller-Olm, Helmut Seidl
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 337
EAN 9783319109350
ISBN 3319109359
Libristo kód 05166407
Nakladatelství Springer International Publishing AG
Váha 5387
Rozměry 155 x 235 x 20

Kategorie

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

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