Books listed by ISBN > Elsevier Science > A.T. Nakagawa

A.T. Nakagawa

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
CAFE: An Industrial-Strength Algebraic Formal Method978-O-444-5O556-9
(O-444-5O556-3)		2000K. Futatsugi · T. Tamai

A N · T. N. · T. Nakagawa

A. T. Natarajan