Applications of formal methods
Finna-arvio
Applications of formal methods
Tallennettuna:
| Ulkoasu |
xvii, 447 s |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
London :
Prentice Hall,
1995.
|
| Luokitus | |
| Aiheet | |
| Lisätiedot | ed. by Michael G. Hinchey and Jonathan P. Bowen |
| ISBN |
0-13-366949-1 sidottu |
| Hae kokoteksti | |