Articles liés à Formal Descriptions Techniques

Formal Descriptions Techniques - Couverture rigide

 
9780412732706: Formal Descriptions Techniques

Synopsis

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.