Top 1200 lenore a grenoble auth PDF Book Page 4

book image

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
·207 Pages
·2009
·2.379 MB

book image

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.)
·304 Pages
·2009
·6.141 MB

book image

A gold orchid: the love poems of Tzu Yeh

Mayhew, Lenore;McNaughton, William
·1972
·2.055 MB

book image

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
·431 Pages
·2002
·4.381 MB

book image

Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Willem Bekkers, Inge van de Weerd (auth.), Andreas Riel, Rory O’Connor, Serge Tichkiewitch, Richard Messnarz (eds.)
·315 Pages
·2010
·5.968 MB

1
345
50