Cafe : an industrial-strength algebraic formal method :: ISBN 0444505563 :: Elsevier 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Cafe : an industrial-strength algebraic formal method
Contributors Kokichi Futatsugi, A. T. Nakagawa, T. Tamai
Publisher Elsevier
Publication date 2000
Publication location Amsterdam
Language English

Descriptive Notes

Selected papers from a symposium held in Numazu, April 1998.

Topics

Formal methods (Computer science) :: Congresses
010382470

Catalogue Data

OBNB ID GBA100062
ISBN 10 0444505563
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xiv, 193 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Cafe : an industrial-strength algebraic formal method. ISBN 0444505563. Published by Elsevier in 2000. Publication and catalogue information, links to buy online and reader comments.