Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday


Book Informaton

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

Maurice H. ter Beek; Alessandro Fantechi; Laura Semini

Series

Lecture Notes in Computer Science

Volume

11865

Year of Publication

1st ed. 2019

Publisher

Springer International Publishing

Pages

XIII, 574

Language

en

ISBN

9783030309848, 9783030309855, 3030309843

ARI Id

1665217233103


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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
i-xiii
1-11
12-15
17-17
19-39
40-55
56-66
67-82
83-83
85-109
110-130
131-151
152-171
172-187
189-189
191-210
211-219
220-235
237-237
239-249
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries