Wellcome

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

By: Margaria, TizianaContributor(s): Steffen, Bernhard | SpringerLink (Online service)Material type: TextTextSeries: Communications in Computer and Information Science ; 17Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783540884798Subject(s): Computer science | Computer system performance | Software engineering | Computer simulation | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and Principles | Simulation and Modeling | System Performance and EvaluationAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Ebooks Ebooks Mysore University Main Library
Not for loan EBSP03442442

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha