Filter

Korrektheit

7 books found

Constructing correct software
Constructing correct software

by Cooke, John

1998 1 ed.
Topology in Process Calculus
Topology in Process Calculus

by Mingsheng Ying

2001 1 ed.
Konstruktion guter Algorithmen
Konstruktion guter Algorithmen

by Ingo Dittmer

1996 1 ed.
Hardware and software
Hardware and software

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

2009 1 ed.
On a method of multiprogramming
On a method of multiprogramming

by W.H.J. Feijen, A.J.M. van Gasteren

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

by Bernhard Beckert

2007 1 ed.