|
Searching ... |
0 % | |||
Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science) by Roberto Giacobazzi Paperback, 396 Pages, Published 2004 by Springer ISBN-13: 978-3-540-22791-5, ISBN: 3-540-22791-1 |
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings 7737 by Roberto Giacobazzi, Joshua Berdine, Isabella Mastroeni Paperback, 556 Pages, Published 2013 by Springer ISBN-13: 978-3-642-35872-2, ISBN: 3-642-35872-1 |
Lecture Notes in Computer Science Ser. Static Analysis : 11Th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : Proceedings 3148 by Roberto Giacobazzi 396 Pages, Published 2004 by Springer ISBN-13: 978-3-540-27864-1, ISBN: 3-540-27864-8 |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion . (Lecture Notes in Computer Science, 13160) [Soft Cover ] by Pedro Lopez-Garcia Paperback, 368 Pages, Published 2023 by Springer ISBN-13: 978-3-031-31475-9, ISBN: 3-031-31475-1 |
Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science) by Giorgio Levi , G. Ional Levi , G. Goos , J. Hartmanis Paperback, 380 Pages, Published 2008 by Springer ISBN-13: 978-3-540-65014-0, ISBN: 3-540-65014-8 |
Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science) by Jens Palsberg Paperback, 434 Pages, Published 2000 by Springer ISBN-13: 978-3-540-67668-3, ISBN: 3-540-67668-6 |
Static Analysis ISBN-13: 978-3-662-19205-4, ISBN: 3-662-19205-5 |
SIGPLAN 2013 Compilation CD-ROM ISBN-13: 978-1-4503-2149-5, ISBN: 1-4503-2149-6 |
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification ISBN-13: 978-1-4503-1860-0, ISBN: 1-4503-1860-6 |
Controversies in Policing(1st Edition) (Controversies in Crime and Justice) by Quint C. Thurman , Andrew L. Giacomazzi Paperback, 205 Pages, Published 2005 by Routledge ISBN-13: 978-1-58360-552-3, ISBN: 1-58360-552-5 |
Roberto Giacobazzi