Real, Jorge.
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / [electronic resource] : edited by Jorge Real, Tullio Vardanega. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6106 0302-9743 ; . - Lecture Notes in Computer Science, 6106 .
9783642135507
10.1007/978-3-642-13550-7 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 Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / [electronic resource] : edited by Jorge Real, Tullio Vardanega. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6106 0302-9743 ; . - Lecture Notes in Computer Science, 6106 .
9783642135507
10.1007/978-3-642-13550-7 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