ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Berlin
Springer
c1995.
|
| Gaiak: |