Wellcome

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer.

By: Abrial, Jean-RaymondContributor(s): Glässer, Uwe | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 5115Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783642114472Subject(s): Computer science | Information theory | Computer software | Electronic data processing | Algorithms | Computer Science | Theory of Computation | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem Complexity | Mathematics of Computing | Computing Methodologies | AlgorithmsAdditional 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 EBSP04963963

There are no comments on this title.

to post a comment.

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

web counter

Powered by Koha