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 : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6435 0302-9743 ; . - Lecture Notes in Computer Science, 6435 .
9783642165733
10.1007/978-3-642-16573-3 doi
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.
QA76.758
005.1
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 : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6435 0302-9743 ; . - Lecture Notes in Computer Science, 6435 .
9783642165733
10.1007/978-3-642-16573-3 doi
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.
QA76.758
005.1