Introduction to Bisimulation and CoinductionDavide Sangiorgi

Introduction to Bisimulation and Coinduction

Davide Sangiorgi · 2011

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2011
שפה: English
הוצאה: Cambridge University Press
מהדורות: 6
עמודים: 264
ISBN: 9781283342445

מקור הנתונים: Wikidata

עוד של Davide Sangiorgi

An introduction to bisimulation and coinductionDavide Sangiorgi

An introduction to bisimulation and coinduction

Davide Sangiorgi · 2011

Advanced topics in bisimulation and coinductionDavide Sangiorgi

Advanced topics in bisimulation and coinduction

Davide Sangiorgi · 2011

Concurrency theoryDavide Sangiorgi

Concurrency theory

Davide Sangiorgi · 1998

Pi-CalculusDavide Sangiorgi

Davide Sangiorgi