Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Gregor V Bochmann; R Dssouli; Omar Rafiq; International Federation for Information Processing. Technical Committee 6.

By:

Bochmann, Gregor von

Contributor(s):

Gregor V Bochmann; R Dssouli; Omar Rafiq; International Federation for Information Processing. Technical Committee 6

Material type: Text

TextPublication details: London : Chapman & Hall on (IFIP), 1996.Description: xiv, 452 pages : illustrations ; 25 cmISBN:

9780412732706

Subject(s):

Electronic data processing -- Distributed processing -- Congresses. Electronic data processing -- Distributed processing -- Protocols -- Congresses. Formal languages -- Congresses

DDC classification:

004.62 BOC

Summary: This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Prof. Ram Dayal Munda Central Library, IGNTU Amarkantak M.P.	Computer Science	004.62 BOC (Browse shelf(Opens below))	Available		56044

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.

There are no comments on this title.

to post a comment.

Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Gregor V Bochmann; R Dssouli; Omar Rafiq; International Federation for Information Processing. Technical Committee 6.

Find us on the map

Contact Us