1
Published 2005
Springer US
Subjects: ...Computer-Aided Engineering (CAD, CAE) and Design...

2
by Bailey, Brian, Martin, Grant
Published 2010
Springer US
Subjects: ...Computer Science Logic and Foundations of Programming...