Programmanalyse

Data structures and algorithm analysis

Mark Allen Weiss.

Television and children: program evaluation, comprehension, and impact

Brian R. Clifford, Bar[r]ie Gunter, Jill McAleer.

Practical Introduction to Data Structures and Algorithm Analysis, A (C++ Edition)

Clifford A. Shaffer

Verification and validation in systems engineering: assessing UML/SysML design models

Mourad Debbabi ... [et al.]

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

edited by Zhenjiang Hu

Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 ; proceedings

Bernhard Steffen, Giorgio Levi (eds.).

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Huibiao Zhu

An Introduction to the Analysis of Algorithms

Robert Sedgewick, Philippe Flajolet

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Lecture Notes in Computer Science)

International Static Analysis Symposium (3rd 1996 Aachen, Germany)

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Ana Cavalcanti