Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings


Book Informaton

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Author

Lindsay Groves; Jing Sun

Series

Lecture Notes in Computer Science

Volume

8144

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 466

Language

en

ISBN

9783642412011, 9783642412028, 3642412017

ARI Id

1664719199294


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 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-3
4-19
20-35
36-52
53-69
70-85
86-101
102-114
115-130
131-147
148-164
165-181
182-198
199-214
215-230
231-248
249-264
265-280
281-296
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries