4 treff

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
CAV 2006
Bok Engelsk 2006
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
International SPIN Workshop
Bok Engelsk 2003
[My threescore years and ten : an autobiography
by Thomas Ball] ; edited with an introduc...
Bok Språk ikke angitt 1977
Paul Leopold Haffner als Philosoph
Ball, Thomas
Bok Språk ikke angitt 1950