It looks like you're offline.

Last edited by ImportBot

October 29, 2008 | History

Edit

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

1 work Add another?

Showing all works by author. Would you like to see only ebooks?

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

by IFIP TC6 WG6.1 Joint International Confe... First published in 1999 1 edition in 1 language — 1 previewable

Not in Library

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel

Read: Edit

When did you finish this book? 2024 Today Other

Check-In
×Close

Add an optional check-in date. Check-in dates are used to track yearly reading goals.

End Date: Year: Month: Day: Today

We need a photo of IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

Subjects

Computer network protocols, Congresses, Congrès, Distributed processing, Electronic data processing, Electronic data processing, distributed processing, Formal methods (Computer science), Méthodes formelles (Informatique), Protocoles de réseaux d'ordinateurs, Traitement réparti

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL6096933A

Links (outside Open Library)

No links yet. Add one?

History

Created October 29, 2008
1 revision

Download catalog record: RDF / JSON

October 29, 2008

Created by ImportBot

Imported from Library of Congress MARC record.