Validation of stochastic systemsChristel Baier

Validation of stochastic systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen · 2004

איפה לקנות

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

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

פרטי הספר

שנה: 2004
שפה: English
הוצאה: Springer
מהדורות: 2
עמודים: 467
ISBN: 9783540222651

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

עוד של Christel Baier

Principles of model checkingChristel Baier

Principles of model checking

Christel Baier · 2008

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

CONCUR 2006 - Concurrency TheoryChristel Baier

CONCUR 2006 - Concurrency Theory

Christel Baier · 2006