Cover image not available

An architecture based approach to specifying distributed systems in LOTOS and Z

Richard O. Sinnott

Publication Data

Title An architecture based approach to specifying distributed systems in LOTOS and Z
Author Richard O. Sinnott
Contributor
Publisher Dept. of Computing Science and Mathematics, University of Stirling
Publication date 1997
Publication location Stirling
Language English

Topics

Computer architecture
LOTOS (Computer program language)
Z (Computer program language)

Catalogue Data

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

ISBD

P1053 vi, 194 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:

An architecture based approach to specifying distributed systems in LOTOS and Z by Richard O. Sinnott. Published by Dept. of Computing Science and Mathematics, University of Stirling in 1997. Publication and catalogue information, links to buy online and reader comments.