MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

by Hu, Alan J
Published 2004

Springer Berlin Heidelberg

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

Cover Image

2

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

by Hu, Alan J
Published 1998

Springer Berlin Heidelberg

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