Top 925 abstract PDF Book Page 38

book image

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
·566 Pages
·2013
·7.351 MB

book image

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
·332 Pages
·2008
·6.011 MB

book image

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
·471 Pages
·2012
·4.887 MB

book image

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
·335 Pages
·2003
·22.118 MB

book image

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)
·391 Pages
·2012
·10.599 MB

book image

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
·441 Pages
·2003
·24.267 MB

book image

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
·532 Pages
·1995
·11.682 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.