Enlarge

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Com

Publication Data

Title Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Com
Contributors Jianping Wu, Samuel T. Chanson, Qiang Gao, International Federation for Information Processing
Publisher Kluwer Academic
Publication date 1999
Publication location Boston,Mass.
Language English

Topics

Formal methods (Computer science) :: Congresses
Electronic data processing :: Distributed processing :: Congresses
008431434

Catalogue Data

OBNB ID GB9975509
ISBN 10 0792386469
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 497p.
P1042 Includes bibliographical references.

Buy a copy

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

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Com. ISBN 0792386469. Published by Kluwer Academic in 1999. Publication and catalogue information, links to buy online and reader comments.