Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy


Book Informaton

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

Author

Tommaso Bolognesi; Diego Latella

Series

IFIP Advances in Information and Communication Technology

Volume

55

Year of Publication

2000

Publisher

Springer US

Pages

XX, 412

Language

en

ISBN

9780792379683, 9780387355337

ARI Id

1664085907313


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 36 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xv
1-1
3-18
19-34
35-50
51-51
53-68
69-84
85-102
103-103
105-120
121-136
137-137
139-154
155-170
171-186
187-187
189-204
205-218
219-234
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 36 entries