Bücher nach ISBN > Springer > Olaf Burkart

Olaf Burkart

Olaf Brauser · Olivia Borchert

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science)978-3-54O-63982-4
(3-54O-63982-9)		1997

Olaff Baker