Bücher nach ISBN
>
LAP LAMBERT Academic Publishing
> Radu Mardare
Radu Mardare
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
978-3-8383-8898-4
(3-8383-8898-4)
2010
R. M.
·
Rati Mehrotra
·
Rita Mortara
Radu Marinescu