Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Chi tiết về thư mục
Tác giả chính:	Davide Sangiorgi
Định dạng:	Điện tử eBook
Ngôn ngữ:	English
Được phát hành:	Cambridge University Press, 08/05/2012
Phiên bản:	1
Những chủ đề:	Distributed, Networked and Mobile Computing Programming Languages and Applied Logic Electronic books
Truy cập trực tuyến:	Full text available on Cambridge University Press Off-campus access

Những quyển sách tương tự

An Introduction to Category Theory
Bằng: Harold Simmons
Được phát hành: (2012)

Transitions and Trees
Bằng: Hans Hüttel
Được phát hành: (2012)

Nominal Sets
Bằng: Andrew M. Pitts
Được phát hành: (2013)

Practical Foundations for Programming Languages
Bằng: Robert Harper
Được phát hành: (2013)

Pearls of Functional Algorithm Design
Bằng: Richard Bird
Được phát hành: (2013)

Programming with Higher-Order Logic
Bằng: Dale Miller, Gopalan Nadathur
Được phát hành: (2012)

Programming in Visual Basic 2010
Bằng: Jim McKeown
Được phát hành: (2012)

Steps in Scala
Bằng: Christos K. K. Loverdos, Apostolos Syropoulos
Được phát hành: (2012)

Modeling in Event-B
Bằng: Jean-Raymond Abrial
Được phát hành: (2013)

Systematic Program Design
Bằng: Yanhong Annie Liu
Được phát hành: (2013)

Web Data Management
Bằng: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Được phát hành: (2012)

Programming logic and design : comprehensive /
Bằng: Farrell, Joyce
Được phát hành: (2011)

An Introduction to Gödel's Theorems
Bằng: Peter Smith
Được phát hành: (2013)

Performance Modeling and Design of Computer Systems
Bằng: Mor Harchol-Balter
Được phát hành: (2013)

Introduction to logic /
Bằng: Copi, Irving M.
Được phát hành: (1986)

Inequality in the developing world /

Corporate business of Samsung mobile at Fair Distribution Limited
Bằng: Qumruzzaman, Md.
Được phát hành: (2017)

An introduction to applied linguistics /
Được phát hành: (2002)

Scaling Up Machine Learning
Bằng: Edited by Ron Bekkerman, Mikhail Bilenko, John Langford
Được phát hành: (2012)

Natural language understanding /
Bằng: Allen, James, 1950-
Được phát hành: (1995)

Natural language understanding /
Bằng: Allen, James, 1950-
Được phát hành: (1995)

Mobility Data
Bằng: Edited by Chiara Renso, Stefano Spaccapietra, Esteban Zimányi
Được phát hành: (2013)

Basics of logic /
Bằng: Barker, Stephen Francis
Được phát hành: (1986)

The logic of language
Bằng: Seuren, Pieter A. M.

Our logic for discussion and persuasion /
Bằng: Ha, Byunghak
Được phát hành: (2000)

Critical applied linguistics : a critical introduction /
Bằng: Pennycook, Alastair, 1957-
Được phát hành: (2001)

Logic Journal of the IGPL

Logic, language, and meaning /
Bằng: Gamut, L. T. F.
Được phát hành: (1991)

Digital designing with programmable logic devices /
Bằng: Carter, John W., 1951-
Được phát hành: (1997)

Logic and computer design fundamentals /
Bằng: Mano, M. Morris, 1927-
Được phát hành: (2000)

Impact of MFS integration for incentive disbursement to distribution representatives: a study on Reckitt (Bangladesh) PLC
Bằng: Ani, Sumaiya Farhana
Được phát hành: (2024)

Words of the World
Bằng: Sarah Ogilvie
Được phát hành: (2012)

Writing Essays in English Language and Linguistics
Bằng: Neil Murray
Được phát hành: (2012)

Native Speakers and Native Users
Bằng: Alan Davies
Được phát hành: (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 /
Được phát hành: (2006)