Static Analysis [[electronic resource] ] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / / edited by Francesco Ranzato |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 473 p. 114 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-319-66706-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theoretical, practical, and applicational advances in area of static analysis -- Program verification.- Bug detection -- Compiler organization -- Program understanding -- Software maintenance. . |
Record Nr. | UNISA-996465921403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / / edited by Francesco Ranzato |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 473 p. 114 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-319-66706-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theoretical, practical, and applicational advances in area of static analysis -- Program verification.- Bug detection -- Compiler organization -- Program understanding -- Software maintenance. . |
Record Nr. | UNINA-9910483576903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|