Menu
Home
Help and information
About this website
Privacy Policy
A. T. Nakagawa
1 published title
Cafe : an industrial-strength algebraic formal method
(Contributor)
1 edition
ISBN: 0444505563
Elsevier
2000
Details