Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings


Book Informaton

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Author

Shaoying Liu; Tom Maibaum; Keijiro Araki

Series

Lecture Notes in Computer Science

Volume

5256

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540881933, 9783540881940

ARI Id

1674219722440


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 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-4
5-24
25-44
45-65
66-85
86-104
105-125
126-146
147-166
167-186
187-206
207-225
226-237
238-257
258-277
278-297
298-317
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries