Fitzgerald, John.
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / [electronic resource] : edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3582 0302-9743 ; . - Lecture Notes in Computer Science, 3582 .
9783540317142
10.1007/b27882 doi
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / [electronic resource] : edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3582 0302-9743 ; . - Lecture Notes in Computer Science, 3582 .
9783540317142
10.1007/b27882 doi
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1