Constructing correct software : the basics
Finna-arvio
Constructing correct software : the basics
Tallennettuna:
| Ulkoasu |
395 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
1997.
|
| Sarja | Formal approaches to computing and information technology |
| Luokitus | |
| Lisätiedot | John Cooke |
| ISBN |
3-540-76156-X |