An edition of Real-time systems (1996)

Real-time systems

specification, verification, and analysis

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Real-time systems by edited by Mathai Joseph.
Not in Library

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 20, 2020 | History
Edit
An edition of Real-time systems (1996)

Real-time systems

specification, verification, and analysis

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Prentice Hall
Language
English
Pages
278

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Real-time data processing

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Real-time systems
Real-time systems: specification, verification, and analysis
1996, Prentice Hall
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 259-271) and index.

Published in
London, New York
Series
Prentice Hall International series in computer science

Classifications

Dewey Decimal Class
005.2
Library of Congress
QA76.54 .R4298 1996

The Physical Object

Pagination
xiv, 278 p. :
Number of pages
278

ID Numbers

Open Library
OL806147M
Internet Archive
realtimesystems00jose
ISBN 10
0134552970
LCCN
95042733
Library Thing
5226324
Goodreads
3836335

Source records

Internet Archive item record
Library of Congress MARC record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
November 20, 2020 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book