Abstract state machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Benzer Materyaller

• Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /
  Baskı/Yayın Bilgisi: (2000)
• Introduction to languages, machines and logic : computable languags, abstract machines and formal logic /
  Yazar:: Parkes, Alan P.
  Baskı/Yayın Bilgisi: (2002)
• Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /
  Yazar:: Parkes, Alan P.
  Baskı/Yayın Bilgisi: (2002)
• Theory of machine and labor productivity /
  Yazar:: Usubamatov, Ryspek
  Baskı/Yayın Bilgisi: (2008)
• Languages and machines : an introduction to the theory of computer science /
  Yazar:: Sudkamp, Thomas A.
  Baskı/Yayın Bilgisi: (1998)