phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Static Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Static Analysis Markus Müller-Olm
Libristo kód: 05166407
Nakladateľstvo Springer International Publishing AG, august 2014
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Celý popis
? points 154 b
61.42 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Polynomial Root-finding And Polynomiography Bahman Kalantari / Pevná
common.buy 205.88 €
Surface Ocean Lower Atmosphere Processes Corinne Le Quere / Pevná
common.buy 168.76 €
Revolution of the Heart Haiyan Lee / Pevná
common.buy 147.98 €
Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein / Brožovaná
common.buy 66.77 €
Interpreting Weight Jeffery Sobal / Pevná
common.buy 123.77 €
The Shadow of Black Wings James Calbraith / Brožovaná
common.buy 13.91 €
Peace After Civil War Adrian Gauci / Pevná
common.buy 61.02 €
McGraw-Hill's 500 College Physics Questions Alvin Halpern / Brožovaná
common.buy 20.17 €
Theological Commentary to the Midrash Jacob Neusner / Pevná
common.buy 124.57 €
Studies in Seventeenth-Century European Philosophy M. A. Stewart / Pevná
common.buy 203.66 €
Parque Nacional Corcovado Antonio Vizcaino / Pevná
common.buy 76.45 €

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.

Informácie o knihe

Celý názov Static Analysis
Autor Markus Müller-Olm, Helmut Seidl
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 337
EAN 9783319109350
ISBN 3319109359
Libristo kód 05166407
Nakladateľstvo Springer International Publishing AG
Váha 5387
Rozmery 155 x 235 x 20

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet