Enlarge

Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distrib

Publication Data

Title Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distrib
Contributors Stan Budkowski, Ana Cavalli, Elie Najm
Publisher Kluwer Academic Publishers
Publication date 1998
Publication location Boston
Language English

Topics

Electronic data processing :: Distributed processing :: Congresses
009749174

Catalogue Data

OBNB ID GB9884000
ISBN 10 0412847604
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.36

ISBD

P1053 viii, 467 p.
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 and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distrib. ISBN 0412847604. Published by Kluwer Academic Publishers in 1998. Publication and catalogue information, links to buy online and reader comments.