Filter

Programmanalyse

15 books found

An introduction to the analysis of algorithms
An introduction to the analysis of algorithms

by Robert Sedgewick, Philippe Flajolet

1995 7 ed.
Impact analysis for program evaluation
Impact analysis for program evaluation

by Lawrence B. Mohr

1988 4 ed.
Verification and validation in systems engineering
Verification and validation in systems engineering

by Mourad Debbabi

2010 3 ed.
Television and children
Television and children

by Brian R. Clifford

1995 3 ed.
Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

2004 2 ed.
Data structures and algorithm analysis
Data structures and algorithm analysis

by Mark Allen Weiss

1992 2 ed.
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Practical Introduction to Data Structures and Algorithm Analysis, A
Practical Introduction to Data Structures and Algorithm Anal...

by Clifford A. Shaffer

1996 2 ed.
Optimierung objektorientierter Programme
Optimierung objektorientierter Programme

by Martin Trapp

2001 1 ed.
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Formal Methods And Software Engineering 12th International C...

by Huibiao Zhu

2010 1 ed.
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Formal Methods And Software Engineering 11th International C...

by Ana Cavalcanti

2010 1 ed.
Tools and algorithms for the construction and analysis of systems
Tools and algorithms for the construction and analysis of sy...

by TACAS 2010 (2010 Paphos, Cyprus)

2010 1 ed.
Verified software
Verified software

by VSTTE 2010 (2010 Edinburgh, Scotland)

2010 1 ed.
Formal methods for quantitative aspects of programming languages
Formal methods for quantitative aspects of programming langu...

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

2010 1 ed.