Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings


Book Informaton

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Author

Jim Davies; Wolfram Schulte; Mike Barnett

Series

Lecture Notes in Computer Science

Volume

3308

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

Pages

IX, 500

Language

EN

ISBN

9783540238416, 9783540304821, 3540238417

ARI Id

1664472071749


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 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-4
5-6
7-8
9-10
11-11
12-12
13-13
14-14
15-29
30-45
46-60
61-75
76-98
99-114
115-130
131-145
146-161
162-175
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries