International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007 :: Computing Laboratory, University of Kent 2007 :: OBNB, the Open British National Bibliography

Publication Data

Title International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007
Contributors Eerke Boiten, John Derrick, Graeme Smith, Graeme Smith
Publisher Computing Laboratory, University of Kent
Publication date 2007
Publication location Canterbury
Language English

Topics

Computer software :: Development :: Congresses
Computer software :: Verification :: Congresses
Computer software :: Testing :: Congresses

Catalogue Data

OBNB ID GBA759392
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 iv, 215 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

International Refinement Workshop : Refine 2007 : Oxford, UK : July 2, 2007. Published by Computing Laboratory, University of Kent in 2007. Publication and catalogue information, links to buy online and reader comments.