5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 / Cliff B. Jones, Roger C. Shaw, and Tim Denvir, eds

Conference Author: Refinement Workshop (5th : 1992 : London, England)
Published: London ; New York : Springer-Verlag, 1992.
Physical Description: viii, 378 pages : illustrations ; 24 cm.
Additional Creators: Shaw, Roger C. F., Jones, C. B. (Cliff B.), 1944-, Denvir, Tim, 1939-, and British Computer Society

Browse Nearby on Shelf

Finding items...

Series

Subject(s)

ISBN

0387197524 (acid-free paper)

Related Titles

Fifth Refinement Workshop

Note

"Published in collaboration with the British Computer Society."

Bibliography Note

Includes bibliographical references and index.

View MARC record | catkey: 1961223