6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /

6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 / David Till (ed.)

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: Refinement Workshop London, England, British Computer Society. Specialist Group in Formal Aspects of Computing Science
Other Authors: Till, David
Other title:Sixth Refinement Workshop.
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Springer-Verlag, ©1994.
Series:Workshops in computing.
Subjects:
Computer software > Development > Congresses.
Description
Item Description:"Published in collaboration with the British Computer Society."
Physical Description:x, 305 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540198865 (Berlin : acid-free paper)
0387198865 (New York : acid-free paper)

Similar Items