Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gurevich, Yuri (Editor, http://id.loc.gov/vocabulary/relators/edt), Kutter, Philipp W. (Editor, http://id.loc.gov/vocabulary/relators/edt), Odersky, Martin (Editor, http://id.loc.gov/vocabulary/relators/edt), Thiele, Lothar (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Computer Science, 1912
• Subjects: Computer logic.; Software engineering.; Programming languages (Electronic computers).; Mathematical logic.; Database management.; Logics and Meanings of Programs.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Mathematical Logic and Formal Languages.; Database Management.

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction leve...