Top 339 sc PDF Book Page 14

book image

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Peter Schachte, Harald Søndergaard (auth.), E. Allen Emerson, Kedar S. Namjoshi (eds.)
·452 Pages
·2006
·4.442 MB

book image

Hypermedia: Openness, Structural Awareness, and Adaptivity: International Workshops OHS-7, SC-3, and AH-3 Aarhus, Denmark, August 14–18, 2001 Revised Papers

Sigi Reich (auth.), Siegfried Reich, Manolis M. Tzagarakis, Paul M. E. De Bra (eds.)
·333 Pages
·2002
·3.59 MB