Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier, Cesare Tinelli · 2015

איפה לקנות

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

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

פרטי הספר

שנה: 2015
שפה: English
הוצאה: Springer Berlin / Heidelberg
מהדורות: 2
עמודים: 725
ISBN: 9783662466803

מקור הנתונים: 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

CONCUR 2006 - Concurrency TheoryChristel Baier

CONCUR 2006 - Concurrency Theory

Christel Baier · 2006