Books listed by ISBN

A. Diller

John Wiley & Sons

titleISBN-13
(ISBN-10)		year of publica-
tion
Z.: An Introduction to Formal Methods978-0-471-93973-3
(0-471-93973-0)		1994

a. D. · Angelika Diller · Anthony Diller · Antoni Diller

A. Dirk Moses