IMSc Library catalog › Details for: Refinement Calculus : Systematic Introduction : (GTCS)

Cover image

Normal view MARC view ISBD view

Refinement Calculus : Systematic Introduction : (GTCS)

By: Back, Ralph-Johan | Wright, Joakim vonMaterial type: Text

Text

TextSeries: Graduate Texts in Computer SciencePublication details: USA ; Springer ; 1998Description: 519ISBN: 0-387-98417-8Subject(s): Electronic Digital Computers - Programming Calculus Computer Logic

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 BAC (Browse shelf (Opens below))		Available		47923

Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	681.3 ARO Computational complexity a modern approach	681.3 AST Algebraic Foundations of Systems Specification	681.3 BAA Term Rewriting and all that	681.3 BAC Refinement Calculus : Systematic Introduction : (GTCS)	681.3 BACK Evolutionary Computation Vols.1 & 2 : Basic & Advanced Algorithms and Operators	681.3 BACK Evolutionary Computation Vols.1 & 2 : Basic & Advanced Algorithms and Operators	681.3 BAD Complexity : :Hierarchical Structures and Scaling in Physics: (CNSS 6)	Next

There are no comments on this title.

to post a comment.

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha