Cover Image

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.

Saved in:

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!

Description
Summary:	Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.
Item Description:	"The FORTE conferences ... are sponsored by IFIP WG 6.1"--Pref.
Physical Description:	xiv, 452 p. ill. 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	041273270X