Explore Books on
programmanalyse

An introduction to the analysis of algorithms

By Robert Sedgewick,Philippe Flajolet

Impact analysis for program evaluation

By Lawrence B. Mohr

Verification and validation in systems engineering

By Mourad Debbabi

Television and children

By Brian R. Clifford

Verification, model checking, and abstract interpretation

By VMCAI 2004 (2004 Venice, Italy)

Data structures and algorithm analysis

By Mark Allen Weiss

Practical Introduction to Data Structures and Algorithm Analysis, A

By Clifford A. Shaffer

Programming Languages and Systems

By Zhenjiang Hu

Optimierung objektorientierter Programme

By Martin Trapp

Formal methods

By Keijiro Araki

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

By Huibiao Zhu

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

By Ana Cavalcanti

Tools and algorithms for the construction and analysis of systems

By TACAS 2010 (2010 Paphos, Cyprus)

Verified software

By VSTTE 2010 (2010 Edinburgh, Scotland)

Formal methods for quantitative aspects of programming languages

By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)