Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /

Benzer Materyaller

• Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /
  Baskı/Yayın Bilgisi: (2014)
• From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl /
  Yazar:: Olaf Owe, Stein Krogdahl, Tom Lyche
  Baskı/Yayın Bilgisi: (2004)
• Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
  Yazar:: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
  Baskı/Yayın Bilgisi: (2013)
• Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  Yazar:: Toshiaki Aoki, Kenji Taguchi
  Baskı/Yayın Bilgisi: (2012)
• Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
  Yazar:: Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
  Baskı/Yayın Bilgisi: (2010)