Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science (1694), Band 1694)

Proceedings

von: Agostino Cortesi · Gilberto File

Taschenbuch

EAN=ISBN-13: 978-3-540-66459-8

ISBN-10: 3-540-66459-9

Springer · 2008
S. auch:
2014PaperbackStatic Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings