Reliable Software Technologies – Ada-Europe 2012
Subtitle: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
By: edited by Mats Brorsson, Luís Miguel Pinho
Contributors: Pinho, Luís Miguel; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7308
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642305986
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Computer networks; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters