Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
A.T. Nakagawa
Home
Authors & Editors
A.T. Nakagawa
Results
(1–1 out of 1)
Sort by:
Title, ascending
Title, descending
Publication date, ascending
Publication date, descending
Newest added, ascending
Newest added, descending
Book
CAFE: An Industrial-Strength Algebraic Formal Method
K. Futatsugi
A.T. Nakagawa
T. Tamai
(2000)
Info
1
We use cookies to ensure that you get the best experience on our website.
Learn more about how we use cookies.
Accept all cookies
Reject non-essential cookies