FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3582 0302-9743 ; .
9783540317142
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.76.D47 / F58 2005
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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3582 0302-9743 ; .
9783540317142
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.76.D47 / F58 2005