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
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
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 41 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 41 entries