This book is currently unavailable on Open Library, check out available alternatives.
An edition of Real-time systems (2008)

Real-time systems

formal specification and automatic verification

by

Cover of: Real-time systems by E.-R Olderog, E.-R Olderog
Real-time systems by E.-R Olderog, E.-R Olderog
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
December 23, 2020 | History
Edit
An edition of Real-time systems (2008)

Real-time systems

formal specification and automatic verification

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
320

Subjects

Real-time data processing
Edition Availability
Cover of: Real-time systems
Real-time systems: formal specification and automatic verification
2008, Cambridge University Press
in English
  • Nearby Libraries

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 304-311) and index.

Published in
Cambridge, UK, New York

Classifications

Dewey Decimal Class
004.33
Library of Congress
QA76.54 .O43 2008, QA76.54

The Physical Object

Pagination
xvi, 320 p. :
Number of pages
320

Edition Identifiers

Open Library
OL23536336M
ISBN 10
0521883334
ISBN 13
9780521883337
LCCN
2009275615
OCLC/WorldCat
233543794
LibraryThing
7166869
Goodreads
6128025

Work Identifiers

Work ID
OL3779745W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON