CONCUR 2006 - Concurrency TheoryChristel Baier

CONCUR 2006 - Concurrency Theory

Christel Baier, Holger Hermanns · 2006

איפה לקנות

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

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

פרטי הספר

שנה: 2006
שפה: English
הוצאה: Springer London, Limited
מהדורות: 1
ISBN: 9783540373773

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

עוד של Christel Baier

Principles of model checkingChristel Baier

Principles of model checking

Christel Baier · 2008

Validation of stochastic systemsChristel Baier

Validation of stochastic systems

Christel Baier · 2004

Foundations of Software Science and Computation StructuresChristel Baier

Foundations of Software Science and Computation Structures

Christel Baier · 2018

Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier · 2018

Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier · 2015