Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

Benzer Materyaller

• Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
  Yazar:: Egon Börger, Angelo Gargantini, Elvinia Riccobene
  Baskı/Yayın Bilgisi: (2003, c2003)
• Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
  Yazar:: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
  Baskı/Yayın Bilgisi: (2000, c2000)
• Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
  Yazar:: Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
  Baskı/Yayın Bilgisi: (2008, c2008)
• Machine Learning: ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings /
  Yazar:: Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi
  Baskı/Yayın Bilgisi: (2004, c2004)
• Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings /
  Yazar:: Bernhard Steffen, Giorgio Levi
  Baskı/Yayın Bilgisi: (2004, c2004)