Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings


Book Informaton

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Author

Doron A. Peled; Moshe Y. Vardi

Series

Lecture Notes in Computer Science

Volume

2529

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 374

Language

en

ISBN

9783540001416, 9783540361350, 3540001417

ARI Id

1664026908387


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 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-16
17-33
34-49
50-64
65-80
81-96
97-113
114-129
130-145
146-161
162-177
178-193
194-209
210-225
226-242
243-259
260-275
276-291
292-307
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries