Enlarge

Formal methods for real-time computing

Publication Data

Title Formal methods for real-time computing
Contributors Constance L. Heitmeyer, Dino Mandrioli
Publisher Wiley
Publication date 1996
Publication location Chichester
Language English

Topics

Real-time data processing

Catalogue Data

OBNB ID GB9635539
ISBN 10 0471958352
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xvii,271p.
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:

Formal methods for real-time computing. ISBN 0471958352. Published by Wiley in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.