ZUM'97: the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, proceedings
Finna-arvio
ZUM'97: the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, proceedings
Tallennettuna:
| Ulkoasu |
433 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
1997.
|
| Sarja | Lecture notes in computer science, 1212. |
| Luokitus | |
| Lisätiedot | Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.) |
| ISBN |
3-540-62717-0 |
| Hae kokoteksti | |