Wellcome

Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois.

By: Dubois, CatherineContributor(s): SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 5668Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783642029493Subject(s): Computer science | Computer Communication Networks | Computer system performance | Software engineering | Logic design | Computer Science | System Performance and Evaluation | Software Engineering | Logics and Meanings of Programs | Computer Communication Networks | Computers and SocietyAdditional 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 EBSP04172172

There are no comments on this title.

to post a comment.

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

web counter

Powered by Koha