Enlarge

Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2

Publication Data

Title Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2
Contributors Geoffrey Burn, Simon Gay, Mark Ryan, British Computer Society, British Computer Society
Publisher Springer-Verlag
Publication date 1993
Publication location London
Language English

Descriptive Notes

"Published in collaboration with the British Computer Society".

Topics

Computer programming :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GB9350036
ISBN 10 3540198423
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 viii,325p.
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:

Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2. ISBN 3540198423. Published by Springer-Verlag in 1993. Publication and catalogue information, links to buy online and reader comments.