KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings (2004)

Giacobazzi, Roberto [Sonstige] ; SAS 11 2004 Verona

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV019393145

Format: XI, 392 S. , 235 mm x 155 mm

ISBN: 3540227911

Series Statement: Lecture Notes in Computer Science 3148

Language: English

Keywords: Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statische Analyse ; Programmverifikation ; Statische Analyse ; Datenfluss ; Kontrollfluss ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Einführung/Vorwort

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3148

URL: http://www.loc.gov/catdir/enhancements/fy0823/2004109776-d.html

URL: Volltext (Restricted to SpringerLINK subscribers)