skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

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

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

Author: David Till; British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Publisher: London ; New York : Springer-Verlag, ©1994.
Series: Workshops in computing
Edition/Format: Book : Conference publication : English
Rating:

Retrieving ratings and reviews data...  

 

Find a copy in the library

Retrieving... Finding libraries that hold this item...

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: David Till; British Computer Society. Specialist Group in Formal Aspects of Computing Science.
ISBN: 0387198865 9780387198866 3540198865 9783540198864
OCLC Number: 30439114
Notes: "Published in collaboration with the British Computer Society."
Description: x, 305 p. : ill. ; 24 cm.
Series Title: Workshops in computing
Other Titles: Sixth Refinement Workshop.
Responsibility: David Till (ed.).

Reviews

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.