Kreowski, Hans-Jörg.
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / [electronic resource] : edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3393 0302-9743 ; . - Lecture Notes in Computer Science, 3393 .
9783540318477
10.1007/b106390 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
QA8.9-QA10.3
005.131
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / [electronic resource] : edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3393 0302-9743 ; . - Lecture Notes in Computer Science, 3393 .
9783540318477
10.1007/b106390 doi
Computer science.
Software engineering.
Logic design.
Computational complexity.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
QA8.9-QA10.3
005.131