| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Assertion-Based Design /by Harry Foster, Adam Krolnik, David Lacey. |
| Author: |
Foster, Harry. |
| other author: |
Lacey, David. |
| Published: |
Boston, MA :Springer Science + Business Media, Inc.,2005. |
| Description: |
v.: digital |
| Subject: |
Engineering |
| Online resource: |
http://dx.doi.org/10.1007/b117047 |
| ISBN: |
9781402080272 (paper) |