CURAJ Library

Welcome to CURAJ Library!

Image from Google Jackets

Data refinement : model-oriented proof methods and their comparison by Willem-Paul de Roever and Kai Engelhardt

By: Roever, Willem-Paul de [Author]Contributor(s): Engelhardt, Kai [Author]Material type: TextTextSeries: Cambridge tracts in theoretical computer science; no. 47Publication details: Cambridge university press 2010 ISBN: 9780511663079Subject(s): Algorithmics | Complexity | Computer Algebra | Computational Geometry | Computer Science | Programming Languages and Applied LogicOnline resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
E-book E-book Central University Of Rajasthan
Not for loan EB3323

There are no comments on this title.

to post a comment.