Bücher nach ISBN
>
Springer
> Claude March Bernhard Beckert
Claude March Bernhard Beckert
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Verification of Object-Oriented Software
978-3-642-18O71-2
(3-642-18O71-X)
2011
B. B.
·
Bernhard Beckert
·
C B
·
C.M.
·
M B
·
M. Bernhard
Claude Marchat