Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France


Book Informaton

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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Author

Stan Budkowski; Ana Cavalli; Elie Najm

Series

IFIP Advances in Information and Communication Technology

Year of Publication

1998

Publisher

Springer US

City of Publication

Boston

Pages

XVI, 472

Language

EN

ISBN

9780412847608, 9780387353944, 0412847604

ARI Id

1664085642947


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xi
1-1
3-18
19-36
37-55
57-57
59-74
75-90
91-91
93-109
111-126
127-140
145-145
147-162
163-178
179-179
181-196
197-212
213-213
215-230
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries