Enlarge

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, Ka

Publication Data

Title 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, Ka
Contributors Reinhard Gotzhein, Jan Bredereke, International Federation for Information Processing
Publisher Chapman & Hall on behalf of the International Federation for Information Processing
Publication date 1996
Publication location London
Language English

Topics

Formal languages :: Congresses
Electronic data processing :: Distributed processing :: Congresses
009087952

Catalogue Data

OBNB ID GB9679797
ISBN 10 041279490X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.62

ISBD

P1053 vii,516p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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, Ka. ISBN 041279490X. Published by Chapman & Hall on behalf of the International Federation for Information Processing in 1996. Publication and catalogue information, links to buy online and reader comments.