Guaranteeing the soundness of rely/guarantee rules :: J. W. Coleman :: University of Newcastle upon Tyne, Computing Science 2006 :: OBNB, the Open British National Bibliography

Publication Data

Title Guaranteeing the soundness of rely/guarantee rules
Author J. W. Coleman
Contributors C. B. Jones, C. B. Jones
Publisher University of Newcastle upon Tyne, Computing Science
Publication date 2006
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

Cover title.

Topics

Computer engineering
Sequential processing (Computer science)

Catalogue Data

OBNB ID GBA655291
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 23 leaves
P1042 Includes bibliography (p. 14-15).

Buy a copy

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

Guaranteeing the soundness of rely/guarantee rules by J. W. Coleman. Published by University of Newcastle upon Tyne, Computing Science in 2006. Publication and catalogue information, links to buy online and reader comments.