Reliable Software Technologies -- Ada-Europe 2012
Mats Brorsson, Luis Miguel Pinho
Reliable Software Technologies -- Ada-Europe 2012 - 2012
978-3-642-30598-6
Computer Communication Networks
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Reliable Software Technologies -- Ada-Europe 2012 - 2012
978-3-642-30598-6
Computer Communication Networks
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science