first record | previous record | next record | last record
full |
marc
Record 1 of 1
Total Requests 0 Unsatisfied Requests 0
You searched Library Catalogue - Subject: Transportation .
Title
Advanced topics in bisimulation and coinduction [e-book] / Davide Sangiorgi and Jan Rutten (eds.)
Publisher/Year
Cambridge : Cambridge University Press, 2011
Series
Cambridge Tracts in Theoretical Computer Science no. 52
Subject
Bisimulation
Subject
Coinduction (Mathematics)
Subject
Modality (Logic)
Subject
Induction (Mathematics)
Subject
Computer science
Subject
Computers -- Networking -- General
Digital Object Identifier
View e-book here
Extended Info
Summary
Table of Contents
Barnes & Noble
Advanced search
Tips
Words:
Search type:
Anywhere
Author
Title
Subject
ISBN
AND
OR
NOT
Anywhere
Author
Title
Subject
ISBN
AND
OR
NOT
Anywhere
Author
Title
Subject
ISBN
Database:
Library Catalogue
Location Filter:
All Libraries
WOU Main Library
RC Johor Bahru Library
RC Kuching Library
DISTED Main Library