Reliable Software Technologies � Ada-Europe 2013
Hubert B. Keller, Erhard Pl�dereder, Peter Dencker, Herbert Klenk
Reliable Software Technologies � Ada-Europe 2013 - Springer 2013 - Lecture Notes in Computer Science .
9783642386015
Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs
Reliable Software Technologies � Ada-Europe 2013 - Springer 2013 - Lecture Notes in Computer Science .
9783642386015
Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs