Formal description techniques VIII :proceedings of the IFIP TC6 eighth international conference on formal description techniques, Montreal, Canada, October 1995
edited by Gregor V. Bochmann,Rachida Dssouli and Omar Rafiq
- London: Chapman & Hall, 1986.
- xii,452p
includes index
eng
041273270X
Computer Software
302.2 / FOR
includes index
eng
041273270X
Computer Software
302.2 / FOR