Filter

Programmverifikation

30 books found

Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

2004 2 ed.
A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs

by Howard Barringer

1985 2 ed.
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs

by Krzysztof R. Apt

1991 2 ed.
The design of well-structured and correct programs
The design of well-structured and correct programs

by Suad Alagić

1978 2 ed.
Constructing correct software
Constructing correct software

by Cooke, John

1998 1 ed.
Software verification and validation
Software verification and validation

by Michael S. Deutsch

1982 1 ed.
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic

by Brent T. Hailpern

1982 1 ed.
Program construction and verification
Program construction and verification

by Roland C. Backhouse

1986 1 ed.
Verified software
Verified software

by VSTTE 2010 (2010 Edinburgh, Scotland)

2010 1 ed.
Advanced lectures on software engineering
Advanced lectures on software engineering

by Peter Müller

2010 1 ed.
Fields of logic and computation
Fields of logic and computation

by Yuri Gurevich, Andreas Blass

2010 1 ed.
Hardware and software
Hardware and software

by International Haifa Verification Conference (4th 2008 Haifa, Israel)

2009 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 for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

by Darren Cofer

2009 1 ed.
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing

by Kedar S. Namjoshi

2011 1 ed.
Specification and verification of object oriented software components
Specification and verification of object oriented software c...

by Andreas Roth

2006 1 ed.
The cleanroom approach to quality software development
The cleanroom approach to quality software development

by Michael Dyer

1992 1 ed.
Verifiable programming
Verifiable programming

by Ole-Johan Dahl

1992 1 ed.
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.