Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992 :: ISBN 0387198040 :: Springer-Verlag 1993 :: OBNB, the Open British National Bibliography

Publication Data

Title Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992
Contributors Ursula Martin, Jeannette M. Wing
Publisher Springer-Verlag
Publication date 1993
Publication location London
Language English

Descriptive Notes

"Published in collaboration with the British Computer Society.".

Topics

Automatic theorem proving

Catalogue Data

OBNB ID GB9323270
ISBN 10 0387198040
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 viii,312p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992. ISBN 0387198040. Published by Springer-Verlag in 1993. Publication and catalogue information, links to buy online and reader comments.