Cover is for reference only

Formal description techniques, IX：theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany; IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification 1996 Kaiserslautern, Germany); International Federation for Information Processing
Group Author: Bredereke Jan; Gotzhein Reinhard
Published: published by Chapman & Hall on behalf of the International Federation for Information Processing,
Publisher Address: London
Publication Dates: 1996.
Literature type: Book
Language: English
Subjects:
Computers > Networks > Protocols
Electronic data processing > Distributed processing
Electronic data processing > Distributed processing > Protocols
Formal languages
Carrier Form: vii, 516 p.: ill. ; 25 cm.
ISBN: 041279490X (pbk)
Index Number: TP330
CLC: TP330.12-532
Call Number: TP330.12-532/I61/1996/
Contents: Includes bibliographical references and index.

Related Book Recommendations