Laws and semantics for rely-guarantee refinement :: Ian Hayes :: Newcastle University, Computing Science :: OBNB, the Open British National Bibliography

Publication Data

Title Laws and semantics for rely-guarantee refinement
Author Ian Hayes
Contributors C. B. Jones, Robert J. Colvin, Robert J. Colvin
Publisher Newcastle University, Computing Science
Publication date 0000
Publication location Newcastle upon Tyne

Descriptive Notes

Title from cover.

Topics

Computer multitasking
Semantic integration (Computer systems)

Catalogue Data

OBNB ID GBB507889
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.7

ISBD

P1053 66 pages
P1042 Includes bibliographical references and index.

Buy a copy

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

Laws and semantics for rely-guarantee refinement by Ian Hayes. Published by Newcastle University, Computing Science. Publication and catalogue information, links to buy online and reader comments.