phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Static Analysis

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Static Analysis Markus Müller-Olm
Libristo kod: 05166407
Nakladnici Springer International Publishing AG, kolovoz 2014
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Cijeli opis
? points 154 b
60.72 €
Vanjske zalihe u manjem broju Šaljemo za 12-15 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

PRIPREMAMO
Polynomial Root-finding And Polynomiography Bahman Kalantari / Tvrdi uvez
common.buy 213.00 €
Interpreting Weight Jeffery Sobal / Tvrdi uvez
common.buy 122.35 €
Peace After Civil War Adrian Gauci / Tvrdi uvez
common.buy 60.32 €
The Shadow of Black Wings James Calbraith / Meki uvez
common.buy 13.75 €
McGraw-Hill's 500 College Physics Questions Alvin Halpern / Meki uvez
common.buy 19.93 €
Theological Commentary to the Midrash Jacob Neusner / Tvrdi uvez
common.buy 125.54 €
Surface Ocean Lower Atmosphere Processes Corinne Le Quere / Tvrdi uvez
common.buy 166.83 €
Revolution of the Heart Haiyan Lee / Tvrdi uvez
common.buy 146.29 €
Studies in Seventeenth-Century European Philosophy M. A. Stewart / Tvrdi uvez
common.buy 201.33 €
Parque Nacional Corcovado Antonio Vizcaino / Tvrdi uvez
common.buy 75.58 €
Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein / Meki uvez
common.buy 66.11 €

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.

Informacije o knjizi

Puni naziv Static Analysis
Autor Markus Müller-Olm, Helmut Seidl
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 337
EAN 9783319109350
ISBN 3319109359
Libristo kod 05166407
Nakladnici Springer International Publishing AG
Težina 5387
Dimenzije 155 x 235 x 20

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun