Romanovsky, Alexander.
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / [electronic resource] : edited by Alexander Romanovsky, Tullio Vardanega. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6652 0302-9743 ; . - Lecture Notes in Computer Science, 6652 .
9783642213380
10.1007/978-3-642-21338-0 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / [electronic resource] : edited by Alexander Romanovsky, Tullio Vardanega. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6652 0302-9743 ; . - Lecture Notes in Computer Science, 6652 .
9783642213380
10.1007/978-3-642-21338-0 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13