Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Author

Tiziana Margaria; Bernhard Steffen

Series

Communications in Computer and Information Science

Volume

17

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

Pages

XIV, 869

Language

en

ISBN

9783540884781, 9783540884798

ARI Id

1664956390800


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 63 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-13
14-14
15-36
37-55
56-70
71-81
82-92
93-107
108-123
124-138
139-154
155-169
170-190
191-205
206-220
221-236
237-251
252-261
262-276
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 63 entries