Abstract State Machines - Theory and Applications
Subtitle: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Yuri Gurevich (Editor); Philipp W. Kutter (Editor); Martin Odersky (Editor); Lothar Thiele (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2000
Language: eng
Format: Paperback
Number of pages: 379
ISBN-13: 9783540679592
Subjects: Computer architecture & logic design; Programming languages; Software engineering; Machine theory; Congresses; Machine Learning; Computers; Computers - General Information; Science/Mathematics; Logic Design; General; Logic; Abstract State Machines (ASM); Computers / Logic Design; Concurrency; Dynamic Semantics; Dynamic Structures; Evolving Algebras; Formal Methods; Formal Verification; Hardware Specification; Language Specification; Artificial Intelligence - General