Applications of formal methods
Finna rating
Applications of formal methods
Saved in:
| Physical Description |
xvii, 447 s |
|---|---|
| Language |
English |
| Published |
London :
Prentice Hall,
1995.
|
| Classification | |
| Subjects | |
| Additional Information | ed. by Michael G. Hinchey and Jonathan P. Bowen |
| ISBN |
0-13-366949-1 sidottu |
| Get full text | |