Leveraging Applications Of Formal Methods, Verification And Validation : Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Tiziana Margaria,Bernhard Steffen . Unknown Year . English

Leveraging Applications Of Formal Methods, Verification And Validation : Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings .By author: ,published by: Leveraging Applications Of Formal Methods, Verification And Validation : Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings .By author: ,published by:

Categories: Action & Adventure

About the Author

Learn more about Tiziana Margaria,Bernhard Steffen and their other notable works on the BookR app. Download the app today to get deeper insights into your favorite authors.

Books from Similar Categories

Books from the Same Genre

Download BookR now and choose mindful reading!

Download Now!