Borba, Paulo.
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / [electronic resource] : edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6153 0302-9743 ; . - Lecture Notes in Computer Science, 6153 .
9783642143359
10.1007/978-3-642-14335-9 doi
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / [electronic resource] : edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6153 0302-9743 ; . - Lecture Notes in Computer Science, 6153 .
9783642143359
10.1007/978-3-642-14335-9 doi
Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
QA76.758
005.1