Lau, Kung-Kiu.
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / [electronic resource] : edited by Kung-Kiu Lau, Richard Banach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3785 0302-9743 ; . - Lecture Notes in Computer Science, 3785 .
9783540322504
10.1007/11576280 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / [electronic resource] : edited by Kung-Kiu Lau, Richard Banach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3785 0302-9743 ; . - Lecture Notes in Computer Science, 3785 .
9783540322504
10.1007/11576280 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1