Bottaci, Leonardo.
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / [electronic resource] : edited by Leonardo Bottaci, Gordon Fraser. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6303 0302-9743 ; . - Lecture Notes in Computer Science, 6303 .
9783642155857
10.1007/978-3-642-15585-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings / [electronic resource] : edited by Leonardo Bottaci, Gordon Fraser. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6303 0302-9743 ; . - Lecture Notes in Computer Science, 6303 .
9783642155857
10.1007/978-3-642-15585-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1