Bücher nach ISBN
>
Shaker
> Axel Schairer
Axel Schairer
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
978-3-8322-538O-6
(3-8322-538O-7)
2006
A.S.
·
Ashley Sherer
·
Axel Scherer
·
Axel Scheurer
Axel Schalk