Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers


Book Informaton

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Author

Tiziana Maragria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

4313

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

VI, 197

Language

en

ISBN

9783540489283, 9783540489290, 3540489282

ARI Id

1664716401747


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 14 of 14 entries
Showing 1 to 14 of 14 entries