Bücher nach ISBN > Springer > Alastair Donaldson

Alastair Donaldson

A D · Alastair Donald

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings978-3-642-31758-3
(3-642-31758-8)		2012David Parker

Alastair Dougal