Z User Workshop : proceedings of the ... Annual Z User Meeting.
Uloženo v:
| Nový název: | International Conference of Z Users. ZUM ... the Z formal specification notation |
|---|---|
| Korporace: | , |
| Médium: | Konferenční příspěvek |
| Jazyk: | English |
| Vydáno: |
London ; New York :
Springer Verlag,
-c1994.
|
| Edice: | Workshops in computing
|
| Témata: |
| Vydáno: | -8th (1994). |
|---|---|
| Popis jednotky: | Description based on: 4th (15 Dec. 1989). |
| Fyzický popis: | v. ; 25 cm. |
| Četnost vydávání: | Annual |