Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Bibliografiske detaljer
Hovedforfatter:	Davide Sangiorgi
Format:	Electronisk eBog
Sprog:	English
Udgivet:	Cambridge University Press, 08/05/2012
Udgivelse:	1
Fag:	Distributed, Networked and Mobile Computing Programming Languages and Applied Logic Electronic books
Online adgang:	Full text available on Cambridge University Press Off-campus access

Lignende værker

An Introduction to Category Theory
af: Harold Simmons
Udgivet: (2012)

Transitions and Trees
af: Hans Hüttel
Udgivet: (2012)

Nominal Sets
af: Andrew M. Pitts
Udgivet: (2013)

Practical Foundations for Programming Languages
af: Robert Harper
Udgivet: (2013)

Pearls of Functional Algorithm Design
af: Richard Bird
Udgivet: (2013)

Programming with Higher-Order Logic
af: Dale Miller, Gopalan Nadathur
Udgivet: (2012)

Programming in Visual Basic 2010
af: Jim McKeown
Udgivet: (2012)

Steps in Scala
af: Christos K. K. Loverdos, Apostolos Syropoulos
Udgivet: (2012)

Modeling in Event-B
af: Jean-Raymond Abrial
Udgivet: (2013)

Systematic Program Design
af: Yanhong Annie Liu
Udgivet: (2013)

Web Data Management
af: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Udgivet: (2012)

Programming logic and design : comprehensive /
af: Farrell, Joyce
Udgivet: (2011)

Performance Modeling and Design of Computer Systems
af: Mor Harchol-Balter
Udgivet: (2013)

An Introduction to Gödel's Theorems
af: Peter Smith
Udgivet: (2013)

Inequality in the developing world /

Corporate business of Samsung mobile at Fair Distribution Limited
af: Qumruzzaman, Md.
Udgivet: (2017)

Scaling Up Machine Learning
af: Edited by Ron Bekkerman, Mikhail Bilenko, John Langford
Udgivet: (2012)

Introduction to logic /
af: Copi, Irving M.
Udgivet: (1986)

An introduction to applied linguistics /
Udgivet: (2002)

Mobility Data
af: Edited by Chiara Renso, Stefano Spaccapietra, Esteban Zimányi
Udgivet: (2013)

Natural language understanding /
af: Allen, James, 1950-
Udgivet: (1995)

Natural language understanding /
af: Allen, James, 1950-
Udgivet: (1995)

Basics of logic /
af: Barker, Stephen Francis
Udgivet: (1986)

Our logic for discussion and persuasion /
af: Ha, Byunghak
Udgivet: (2000)

The logic of language
af: Seuren, Pieter A. M.

Critical applied linguistics : a critical introduction /
af: Pennycook, Alastair, 1957-
Udgivet: (2001)

Logic Journal of the IGPL

Impact of MFS integration for incentive disbursement to distribution representatives: a study on Reckitt (Bangladesh) PLC
af: Ani, Sumaiya Farhana
Udgivet: (2024)

Logic, language, and meaning /
af: Gamut, L. T. F.
Udgivet: (1991)

Digital designing with programmable logic devices /
af: Carter, John W., 1951-
Udgivet: (1997)

Logic and computer design fundamentals /
af: Mano, M. Morris, 1927-
Udgivet: (2000)

Words of the World
af: Sarah Ogilvie
Udgivet: (2012)

Writing Essays in English Language and Linguistics
af: Neil Murray
Udgivet: (2012)

Native Speakers and Native Users
af: Alan Davies
Udgivet: (2013)

Applied Linguistics

IMA Journal of Applied Mathematics

Mathematical Medicine and Biology: A Journal of the IMA

Mathematical Medicine and Biology: A Journal of the IMA

The Quarterly Journal of Mechanics and Applied Mathematics

The handbook of applied linguistics /
Udgivet: (2006)