An edition of Specification, Modelling, Verification and Runtime Analysis of Real Time Systems (2004)

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

by

Cover of: Specification, Modelling, Verification and Runtime Analysis of Real Time Systems by Georgios Logothetis, Georgios Logothetis
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
April 28, 2010 | History
Edit
An edition of Specification, Modelling, Verification and Runtime Analysis of Real Time Systems (2004)

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

by

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

Publish Date
Publisher
Ios Pr Inc
Language
English
Pages
180

Check nearby libraries

Buy this book

Edition Availability
Cover of: Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
June 2004, Ios Pr Inc
Paperback in English

Add another edition?

Book Details

The Physical Object

Format
Paperback
Number of pages
180
Dimensions
8.1 x 5.8 x 0.6 inches
Weight
9.6 ounces

Edition Identifiers

Open Library
OL12317575M
ISBN 10
1586034138
ISBN 13
9781586034139

Work Identifiers

Work ID
OL9890262W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page