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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gurevich, Yuri (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kutter, Philipp W. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Odersky, Martin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Thiele, Lothar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1912
• Θέματα: 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...