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
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Download Options

Check nearby libraries

Buy this book

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

Check nearby libraries

Buy this book

Previews available in: English

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

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
Internet Archive
realtimesystemsf00olde
ISBN 10
0521883334
ISBN 13
9780521883337
LCCN
2009275615
OCLC/WorldCat
233543794
Library Thing
7166869
Goodreads
6128025

Work Identifiers

Work ID
OL3779745W

Source records

Library of Congress MARC record
Library of Congress MARC record
Better World Books record
Internet Archive item record
Promise Item

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 23, 2020 Edited by MARC Bot import existing book
December 10, 2009 Created by WorkBot add works page