Formal description techniques, VIII proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.

Bibliographic Details

Corporate Authors:	International Conference on Formal Description Techniques Montreal, Quebec, International Federation for Information Processing, International Federation for Information Processing. Technical Committee 6., IFIP Working Group 6.1
Other Authors:	Bochmann, Gregor von, Dssouli, R. (Rachida), Rafiq, Omar
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) 1996.
Subjects:	Computer programming > Congresses. Formal languages > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!