Normal view
MARC view
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Material type: Computer fileSeries: Communications in Computer and Information SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783540884798Subject(s): Computer Science | Computer simulation | Computer system performance | Software engineering | Computer Science | Models and Principles | Programming Techniques | Simulation and Modeling | Software Engineering | Software Engineering/Programming and Operating Systems | System Performance and EvaluationOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.