VTLS Chameleon iPortal Full Record

first record | previous record | next record | last record

full | marc

Record 1 of 1

	Total Requests 0 Unsatisfied Requests 0
You searched Library Catalogue - Title: Microwave circuit design using linear and nonlinear techniques / George D. Vendelin, Anthony M. Pavio and Ulrich L. Rohde
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