Boca, Paul.
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. - London : Springer London, 2010. - digital.
9781848827363
10.1007/978-1-84882-736-3 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. - London : Springer London, 2010. - digital.
9781848827363
10.1007/978-1-84882-736-3 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
QA76.758
005.1