Applied formal verification
- Författare
- Douglas L. Perry
- (Douglas L. Perry, Harry L. Foster.)
- Målgrupp
- Specialist
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| McGraw-Hill | cop. 2005 | New York, New York | xiv, 237 sidor. ill. | |
| McGraw-Hill | c2005 | New York, New York | xiv, 237 sidor. : ill. 24 cm. |