Könyv Static Analysis Markus Müller-Olm

Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 325 Ft
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
337
EAN
9783319109350
ISBN
3319109359
Enbook ID
05166407
Súly
5387
Méretek
155 x 235 x 20

Teljes leírás

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.

Érdekelheti

86 655 Ft

Kites

Romain Gary
3 972 Ft

Walter

Derren Riley
7 230 Ft

Tetradymus

JOHN TOLAND
14 532 Ft
4 851 Ft
8 881 Ft

Baggage

Shelia Bolt Rudesill
4 183 Ft

Horn of Plenty

Blythe Ayne
5 861 Ft

Vol 1

Ed Marr
14 559 Ft

Interpreting Weight

Jeffery Sobal
43 747 Ft

Washington

Thomas J Gebhardt III
5 152 Ft

Cha-ching!

Ali Liebegott
5 565 Ft
52 400 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Verbindungen II

Maria Ivanytska
13 989 Ft

Лисёнок Вук

Иштван Фекете
8 711 Ft

IT-Berufe

Ingo Patett
13 504 Ft

Epikie

Ingo Proft
26 711 Ft

Getriebe Und Getriebemodelle

Auschuss Fur Witschaftiliche Fertigung Berlin Verein
19 854 Ft