Filters
Advanced Search Browse by Genre

Found 33 results for "Programmverifikation"

Programmverifikation
Programmverifikation

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

1994 1 ed.
Programmverifikation
Programmverifikation
Programmverifikation

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

1996 1 ed.
Semantik und Programmverifikation
Semantik und Programmverifikation

by Christoph Walther

2001 1 ed.
Programmverifikation Formale Semantik Funktionale Programmiersp...
Semantik und Programmverifikation
Semantik und Programmverifikation

by Christoph Walther

2012 1 ed.
Vorträge von der Thematischen Konferenz KNWWT
Vorträge von der Thematischen Konferenz KNWWT

by Problemkommission für Multilaterale Zusammenarbeit der Akademien der Wissenschaften der Sozialistischen Länder zu Wissenschaftlichen Fragen der Rechentechnik.

1977 1 ed.
Computer programming Computer programs Congresses
Verifiable programming
Verifiable programming

by Ole-Johan Dahl

1992 1 ed.
Computer programs Verification 54.51 programming techniq...
Program construction and verification
Program construction and verification

by Roland C. Backhouse

1986 1 ed.
Computer programming Developpement Programmation
Programmentwicklung und Verifikation
Programmentwicklung und Verifikation

by Gerald Futschek

1989 1 ed.
Verifikation (Datenverarb... Programmverifikation Programmierung (Datenvera...
Constructing correct software
Constructing correct software

by Cooke, John

1998 1 ed.
Development Computer software Softwareentwicklung
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.
Programmanalyse Programmverifikation Formale Methode
Advanced lectures on software engineering
Advanced lectures on software engineering

by Peter Müller

2010 1 ed.
Programmverifikation Software enginnering Congresses
Specification and verification of object oriented software components
Specification and verification of object oriented software c...

by Andreas Roth

2006 1 ed.
Programmverifikation Komponente <Software> Korrektheit
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs

by Krzysztof R. Apt

1991 2 ed.
Verification Computer software Vérification
The cleanroom approach to quality software development
The cleanroom approach to quality software development

by Michael Dyer

1992 1 ed.
Computer software Development Programmverifikation
A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs

by Howard Barringer

1985 2 ed.
Parallel processing (Elec... Verification Computer programs
Static Analysis
Static Analysis

by SAS <11, 2004, Verona>

2004 1 ed.
Datenfluss Programmtest Programmverifikation
The design of well-structured and correct programs
The design of well-structured and correct programs

by Suad Alagić

1978 2 ed.
Computer programming Pascal (Computer program ... Algorithmes
Software verification and validation
Software verification and validation

by Michael S. Deutsch

1982 1 ed.
Computer software Validation Verification
Languages From Formal to Natural Lecture Notes in Computer Science
Languages From Formal to Natural ...

by Orna Grumberg

2009 1 ed.
Logic design Information theory Symbolic and mathematical...
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic

by Brent T. Hailpern

1982 1 ed.
Computer programs Parallel processing (Elec... Verification