Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /

Gelijkaardige items

• Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
  door: Wolf Zimmermann, Bernhard Thalheim
  Gepubliceerd in: (2004, c2004)
• Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
  door: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
  Gepubliceerd in: (2000, c2000)
• Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
  door: Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
  Gepubliceerd in: (2008, c2008)
• Abstract Computing Machines : A Lambda Calculus Perspective /
  door: W. Brauer, G. Rozenberg, A. Salomaa
  Gepubliceerd in: (2005, c2005)
• Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /
  door: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
  Gepubliceerd in: (2010, c2010)