Industrial-strength formal methods in practice
Finna-arvio
Industrial-strength formal methods in practice
Tallennettuna:
| Ulkoasu |
400 s. : ill |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
London :
Springer,
1999.
|
| Sarja | Formal approaches to computing and information technology |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Michael G. Hinchey, Jonathan P. Bowen (eds.) |
| Bibliografia |
Sisältää bibliografisia lähdeviitteitä ja hakemiston. |
| ISBN |
1-85233-640-4 |
| Hae kokoteksti | |