Bücher nach ISBN
>
Springer
> Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer
Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Methods for Components and Objects
978-3-642-17O72-O
(3-642-17O72-2)
2011
B.S.
·
M B
·
M M
·
M S.
·
Marcello Bonsangue
·
Marcello M. Bonsangue
Marcello M. Mariani