Advanced Topics in Bisimulation and Coinduction
Author:   Davide Sangiorgi ,  Jan Rutten (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam)
Publisher:   Not Avail
ISBN:  

9786613342454


Pages:   340
Publication Date:   31 October 2011
Format:   Electronic book text
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $313.63 Quantity:  
Add to Cart

Share |

Advanced Topics in Bisimulation and Coinduction


Overview

Full Product Details

Author:   Davide Sangiorgi ,  Jan Rutten (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam)
Publisher:   Not Avail
Imprint:   Not Avail
ISBN:  

9786613342454


ISBN 10:   6613342459
Pages:   340
Publication Date:   31 October 2011
Audience:   General/trade ,  General
Format:   Electronic book text
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGJ26

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now