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 communication Protocols (FORTE XII) and protocol specification, testing, and verification (PSTV XIX) : October 5-8, 1999, Beijing, China edited by Jianping Wu, Samuel T. Chanson, Qiang Gao

Contributor(s):

Publication details: Dordrecht ; Boston Kluwer Academic 1999Description: 497 p. : ill. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	005.13 WU (Browse shelf(Opens below))	Available		263693

Includes bibliographical references

There are no comments on this title.

to post a comment.

Find us on the map