booktheque

Models, Algorithms, Logics and Tools

Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir · 2017

איפה לקנות

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

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

פרטי הספר

שנה
2017
הוצאה
Springer
מהדורות
1
עמודים
679
ISBN
9783319631202

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

עוד של Luca Aceto

Reactive Systems
Luca Aceto · 2007
Automata, Languages and Programming
Luca Aceto · 2011
Automata, Languages and Programming
Luca Aceto · 2011
Reactive systems
Luca Aceto · 2007
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Luca Aceto · 2007
Foundations of Software Science and Computational Structures
Luca Aceto · 2006