Advanced lectures on software engineering View on Open Library

Advanced lectures on software engineering

by Peter Müller

No reviews yet
First published: 2010 1 language ISBN: 9783642130090
Subjects
Programmverifikation Software enginnering Congresses Software Engineering Nebenläufigkeit Informatique Software engineering Congrès Génie logiciel Software

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Peter Müller

˜Dieœ Homepage-Schule

˜Dieœ Homepage-Schule

You Might Also Like

More in Programmverifikation
The design of well-structured and correct programs

The design of well-structured and correc...

Suad Alagić
Verification, model checking, and abstract interpretation

Verification, model checking, and abstra...

VMCAI 2004 (2004 Venice, Italy)
Verification of sequential and concurrent programs

Verification of sequential and concurren...

Krzysztof R. Apt
Programming Languages and Systems

Programming Languages and Systems

Zhenjiang Hu
A survey of verification techniques for parallel programs

A survey of verification techniques for ...

Howard Barringer
Constructing correct software

Constructing correct software

Cooke, John