Bücher nach ISBN

Kirsten Winter

Vdm Verlag Dr. Müller

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr
Model Checking Abstract State Machines978-3-639-01891-2
(3-639-01891-5)		2008

Kerstin Winter · Kerstin Wunderlich · Kristin Winter

Kirsten Witte