Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings


Book Informaton

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Author

Chris George; Huaikou Miao

Series

Lecture Notes in Computer Science

Volume

2495

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

Pages

XII, 636

Language

en

ISBN

9783540000297, 9783540361039, 3540000291

ARI Id

1665013364096


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 64 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-2
3-19
20-21
22-23
24-37
38-47
48-56
57-68
69-79
80-91
92-97
98-102
103-107
108-119
120-131
132-143
144-155
156-167
168-179
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 64 entries