Wellcome

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché.

By: Beckert, BernhardContributor(s): Marché, Claude | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6528Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011ISBN: 9783642180705Subject(s): Computer science | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Mathematical Logic and Formal Languages | Management of Computing and Information SystemsAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Item type:
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 EBSP06293293

There are no comments on this title.

to post a comment.

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

web counter

Powered by Koha