Foundations of Computer Software : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers /

Benzer Materyaller

• Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
  Yazar:: Radu Calinescu, David Garlan
  Baskı/Yayın Bilgisi: (2012)
• Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /
  Yazar:: Christine Choppy, Oleg Sokolsky
  Baskı/Yayın Bilgisi: (2010)
• Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
  Yazar:: Klaus Havelund, Manuel Núñez, Grigore Ro.u, Burkhart Wolff
  Baskı/Yayın Bilgisi: (2006)
• Graph Drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /
  Baskı/Yayın Bilgisi: (2013)
• Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /
  Yazar:: Sudipto Ghosh
  Baskı/Yayın Bilgisi: (2010)