Enlarge

Towards verified systems

Publication Data

Title Towards verified systems
Contributor J. P. Bowen
Publisher Elsevier
Publication date 1994
Publication location Amsterdam
Language English

Topics

Embedded computer systems :: Evaluation
Real-time data processing

Catalogue Data

OBNB ID GB9489594
ISBN 10 0444899014
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.33

ISBD

P1053 xxvi, 296p.
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:

Towards verified systems. ISBN 0444899014. Published by Elsevier in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.