MPG.eBooks - Search Results - "software"

Cover Image

1

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

by Aagaard, Mark
Published 2000

Springer Berlin Heidelberg

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

Cover Image

2

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

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