Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

Author(s)

• ASM
• Gurevich, Yuri

Bibliographic Information

Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

Yuri Gurevich ... [et al.] (eds.)

（Lecture notes in computer science, 1912）

Springer-Verlag, c2000

Note

Includes bibliographical references and index

Details

• NCID: BA48362784
• ISBN:
  • 3540679596
• LCCN: 00064121
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: x, 379 p.
• Size: 24 cm
• Classification:
  • LCC : QA267
• Subject Headings:
  • LCSH : Machine theory -- Congresses
• Parent Bibliography ID:
  • BA00009279