MPG.eBooks - Search Results - "Madrid"

Cover Image

1

Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

2

Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

“... Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27...”

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

“..., Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21...”