Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Gespeichert in:
1. Verfasser:
Chang, Bor-Yuh Evan (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2019
Ausgabe:
1st ed. 2019
Umfang:
1 Online-Ressource (XIV, 481 p. 2137 illus., 374 illus. in color)
text file PDF
Schriftenreihe:
Programming and Software Engineering
ISBN:
9783030323042
DOI:
10.1007/978-3-030-32304-2
Schlagworte:
Computer logic
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Bezugswerke:
Links: