Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings


Book Informaton

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Author

Radu Calinescu; Bernhard Rumpe

Series

Lecture Notes in Computer Science

Volume

9276

Year of Publication

1st ed. 2015

Publisher

Springer International Publishing

Pages

XI, 369

Language

en

ISBN

9783319229683, 9783319229690, 3319229680

ARI Id

1664999990233


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-1
3-19
20-34
35-35
37-52
53-68
69-83
84-98
99-107
108-114
115-115
117-131
132-147
148-155
157-157
159-174
175-189
190-195
197-197
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries