Using safety contracts in the development of safety critical object-oriented systems :: Richard D. Hawkins :: University of York, Department of Computer Science 2006 :: OBNB, the Open British National Bibliography

Publication Data

Title Using safety contracts in the development of safety critical object-oriented systems
Author Richard D. Hawkins
Contributor
Publisher University of York, Department of Computer Science
Publication date 2006
Publication location York
Language English

Descriptive Notes

Thesis (Ph.D.)--University of York, 2006.
"YCST 2007/04"--Cover.

Topics

Object-oriented methods (Computer science)
013809608

Catalogue Data

OBNB ID GBA762868
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 003.35117

ISBD

P1053 206 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:

Using safety contracts in the development of safety critical object-oriented systems by Richard D. Hawkins. Published by University of York, Department of Computer Science in 2006. Publication and catalogue information, links to buy online and reader comments.