Testing Software and Systems
Petrenko, Alexandre
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings [electronic resource] edited by Alexandre Petrenko, Adenilso SimΓo, JosΓ© Carlos Maldonado - Berlin, Heidelberg IFIP International Federation for Information Processing 2010 - v.: digital - Lecture Notes in Computer Science 6435 0302-9743 .
9783642165733
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings [electronic resource] edited by Alexandre Petrenko, Adenilso SimΓo, JosΓ© Carlos Maldonado - Berlin, Heidelberg IFIP International Federation for Information Processing 2010 - v.: digital - Lecture Notes in Computer Science 6435 0302-9743 .
9783642165733
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles