Bücher nach ISBN > Springer > Dietmar Schreiner

Dietmar Schreiner

D S · Dietmar Schirmer

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Leveraging Applications of Formal Methods, Verification, and Validation978-3-642-3478O-1
(3-642-3478O-O)		2012Reiner Hähnle · Jens Knoop · Tiziana Margaria · Bernhard Steffen

Dietmar. Schreyer