MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Advanced Formal Verification

Published 2004

Springer US

Subjects: “...Computer-Aided Engineering (CAD, CAE) and Design...”

Cover Image

2

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”