Formal description techniques. IV : proceedings of the IFIP TC6/W66.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91 Sydney, Australia, 19-22 November 1991 / edited by K. R. Parker, G. A. Rose

Författare
Australia) 1991 : (4th FORTE Conference Sydney
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-1-4832-9333-2