Tools and Algorithms for the Construction and Analysis of SystemsJavier Esparza

Tools and Algorithms for the Construction and Analysis of Systems

Javier Esparza, Rupak Majumdar · 2010

איפה לקנות

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

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

פרטי הספר

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

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

עוד של Javier Esparza

Finite and algorithmic model theoryJavier Esparza

Finite and algorithmic model theory

Javier Esparza · 2011

Automata, Languages, and ProgrammingJavier Esparza

Automata, Languages, and Programming

Javier Esparza · 2014

Finite and algorithmic model theoryJavier Esparza

Finite and algorithmic model theory

Javier Esparza · 2011

UnfoldingsJavier Esparza

Javier Esparza · 2008

Automata TheoryJavier Esparza

Automata Theory

Javier Esparza · 2023

Foundations of Software Science and Computation StructuresJavier Esparza

Foundations of Software Science and Computation Structures

Javier Esparza · 2017

Application and Theory of Petri Nets 2002Javier Esparza

Application and Theory of Petri Nets 2002

Javier Esparza · 2003