00670nam a2200133Ia 4500008004100000020002200041041001200063100009600075245005200171260003200223440003800255650002100293650022200314231221s9999    xx            000 0 und d  a978-3-540-31847-7  aEnglish  aHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer 0aFormal Methods in Software and Systems Modeling  c2005bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aMathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Discrete Mathematics in Computer Science; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices