Please click here for information on incomplete orders placed before 03 July 2024
![Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria](https://www.booktopia.com.au/covers/big/9783319471693/9305/leveraging-applications-of-formal-methods-verification-and-validation-discussion-dissemination-applications.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
By: Tiziana Margaria (Editor), Bernhard Steffen (Editor)
eBook | 12 November 2016
Sorry, we are not able to source the ebook you are looking for right now.
We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.
ISBN: 9783319471693
ISBN-10: 3319471694
Series: Lecture Notes in Computer Science : Book 9953
Published: 12th November 2016
Format: ePUB
Language: English
Publisher: Springer International Publishing
Volume Number: 9953
You Can Find This eBook In
This product is categorised by
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting Languages
- Non-FictionMathematicsMathematical FoundationMathematical Logic
- Non-FictionComputing & I.T.Computer ScienceArtificial Intelligence
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentCompilers & Interpreters
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation