MPG.eBooks - Search Results - "Language"

Cover Image

1

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

by Gurevich, Yuri
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”