Filters
Advanced Search Browse by Genre

Found 33 results for "Programmverifikation"

Formal Methods Foundations and Applications Lecture Notes in Computer Science
Formal Methods Foundations and Applications ...

by Jim Woodcock

2010 1 ed.
Logic design Information Systems Computer science
Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings
Model Checking Software 16th International Spin Workshop Gre...

by Corina S. Pasareanu

2009 1 ed.
Logic design Computer science Software engineering
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Logic design Software engineering Data protection
Fields of logic and computation
Fields of logic and computation

by Yuri Gurevich, Andreas Blass

2010 1 ed.
Softwarespezifikation Komplexitätstheorie Mathematische Logik
Programming languages and systems
Programming languages and systems

by APLAS 2008 (2008 Bangalore, India)

2008 1 ed.
Bisimulation Programmverifikation Kongress
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.
Computer networks Computer science Software engineering
Compositionality, concurrency, and partial correctness
Compositionality, concurrency, and partial correctness

by J. Zwiers

1989 1 ed.
Automatic theorem proving Parallel processing (Elec... Décomposition programme
Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

2004 2 ed.
Computer programs Congresses Verification
Hardware and software
Hardware and software

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

2009 1 ed.
Congresses Verification Computer programs
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.
Java (Computer program la... Object-oriented methods (... Verification
Verified software
Verified software

by VSTTE 2010 (2010 Edinburgh, Scotland)

2010 1 ed.
Programmverifikation Formale Methode Programmtest
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

by Darren Cofer

2009 1 ed.
Logic design Computer science Software engineering
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing

by Kedar S. Namjoshi

2011 1 ed.
Logic design Computer science Software engineering