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, 29-31 March 1993

Bibliographic Information

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, 29-31 March 1993

Geoffrey Burn, Simon Gay and Mark Ryan (eds.)

(Workshops in computing)

Springer-Verlag, c1993

  • : us : acid-free
  • : gw : acid-free

Available at  / 11 libraries

Search this Book/Journal

Note

Papers based on proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, held at Chelwood Gate, Sussex, UK, 1993

"Published in collaboration with the British Computer Society."

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top