Top 370 sc moatti nir eyal PDF Book Page 15

book image

Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book (eds.)
·203 Pages
·2012
·4.575 MB

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