Filter

Programmverifikation

30 books found

A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs

by Howard Barringer

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

by Suad Alagić

1978 2 ed.
Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

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

by Krzysztof R. Apt

1991 2 ed.
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Compositionality, concurrency, and partial correctness
Compositionality, concurrency, and partial correctness

by J. Zwiers

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

by Brent T. Hailpern

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

by Michael Dyer

1992 1 ed.
Constructing correct software
Constructing correct software

by Cooke, John

1998 1 ed.
Verifiable programming
Verifiable programming

by Ole-Johan Dahl

1992 1 ed.
Semantik und Programmverifikation
Semantik und Programmverifikation

by Christoph Walther

2001 1 ed.
Static Analysis
Static Analysis

by SAS <11, 2004, Verona>

2004 1 ed.
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.
Programmentwicklung und Verifikation
Programmentwicklung und Verifikation

by Gerald Futschek

1989 1 ed.
Programmverifikation
Programmverifikation

by Krzysztof R. Apt, Ernst-Rüdiger Olderog

1994 1 ed.
Software verification and validation
Software verification and validation

by Michael S. Deutsch

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

by Roland C. Backhouse

1986 1 ed.
Programming languages and systems
Programming languages and systems

by APLAS 2008 (2008 Bangalore, India)

2008 1 ed.
Hardware and software
Hardware and software

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

2009 1 ed.
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.