|
Searching ... |
0 % | |||
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 |
Semantica operazionale strumenti e applicazioni. Linguaggi imperativi e funzionali by Isabella Mastroeni, Corrado Priami Paperback, 178 Pages, Published 1999 by Cedam ISBN-13: 978-88-13-22138-6, ISBN: 88-13-22138-X |
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni 556 Pages, Published 2013 by Springer ISBN-13: 978-3-642-35873-9, ISBN: 3-642-35873-X |
Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II by Emil Sekerinski , Nelma Moreira , José N. Oliveira , Daniel Ratiu , Riccardo Guidotti , Marie Farrell , Matt Luckcuck , Diego Marmsoler , José Campos , Troy Astarte , Laure Gonnord , Antonio Cerone , Luis Couto , Brijesh Dongol , Martin Kutrib , Pedro Monteiro , David Delmas 584 Pages, Published 2020 by Springer Nature ISBN-13: 978-3-030-54997-8, ISBN: 3-030-54997-6 |
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by María Alpuente , Germán Vidal-Oriola , MarãA Alpuente , Ǭ°N Paperback, 379 Pages, Published 2008 by Springer ISBN-13: 978-3-540-69163-1, ISBN: 3-540-69163-4 |
Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS ... (Lecture Notes in Computer Science) by Vladimir Gorodetsky , Igor Gorodetsky Kotenko , Victor A. Skormin , Victor Skormin , Victor Gorodetsky Skormin Paperback, 482 Pages, Published 2005 by Springer ISBN-13: 978-3-540-29113-8, ISBN: 3-540-29113-X |
Lecture Notes in Computer Science Ser. Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings 2575 by Lenore D. Zuck , Paul D. Attie , Agostino Cortesi , Supratik Mukhopadhyay 328 Pages, Published 2003 by Springer ISBN-13: 978-3-540-36384-2, ISBN: 3-540-36384-X |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science) by Jin Song Dong , Huibiao Zhu Paperback, 712 Pages, Published 2010 by Springer ISBN-13: 978-3-642-16900-7, ISBN: 3-642-16900-7 |
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings by Frank Wolter , Leszek Antoni Gąsieniec 318 Pages, Published 2013 by Springer ISBN-13: 978-3-642-40164-0, ISBN: 3-642-40164-3 |
Principles of Abstract Interpretation by Patrick Cousot 833 Pages, Published 2021 by Mit Press ISBN-13: 978-0-262-04490-5, ISBN: 0-262-04490-0 |
Isabella Mastroeni