Programmanalyse

15 books
An introduction to the analysis of algorithmsRobert Sedgewick
⏱ 9h 2m

An introduction to the analysis of algorithms

Robert Sedgewick

1995542 pp.
Data structures and algorithm analysisMark Allen Weiss
⏱ 8h 1m

Data structures and algorithm analysis

Mark Allen Weiss

1992481 pp.
Impact analysis for program evaluationLawrence B. Mohr
⏱ 3h 37m

Impact analysis for program evaluation

Lawrence B. Mohr

1988217 pp.
Optimierung objektorientierter ProgrammeMartin Trapp

Optimierung objektorientierter Programme

Martin Trapp

2001No page data
Formal methodsKeijiro Araki

Formal methods

Keijiro Araki

2003No page data
Practical Introduction to Data Structures and Algorithm Analysis, AClifford A. Shaffer
⏱ 8h 14m

Practical Introduction to Data Structures and Algorithm Analysis, A

Clifford A. Shaffer

1996494 pp.
Verification and validation in systems engineeringMourad Debbabi
⏱ 4h 34m

Verification and validation in systems engineering

Mourad Debbabi

2010274 pp.
Television and childrenBrian R. Clifford
⏱ 4h 11m

Television and children

Brian R. Clifford

1995251 pp.
Formal methods for quantitative aspects of programming languagesInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
⏱ 2h 47m

Formal methods for quantitative aspects of programming languages

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

2010167 pp.
Programming Languages and SystemsZhenjiang Hu
⏱ 6h 16m

Programming Languages and Systems

Zhenjiang Hu

2009376 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004324 pp.
Verified softwareVSTTE 2010 (2010 Edinburgh, Scotland)
⏱ 3h 35m

Verified software

VSTTE 2010 (2010 Edinburgh, Scotland)

2010215 pp.
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 ProceedingsAna Cavalcanti

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

Ana Cavalcanti

2010No page data
Tools and algorithms for the construction and analysis of systemsTACAS 2010 (2010 Paphos, Cyprus)
⏱ 7h 48m

Tools and algorithms for the construction and analysis of systems

TACAS 2010 (2010 Paphos, Cyprus)

2010468 pp.
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 ProceedingsHuibiao Zhu

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

Huibiao Zhu

2010No page data