An edition of Reactive systems (2007)

Reactive Systems

Modelling, Specification and Verification

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Reactive Systems by Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
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

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
July 30, 2014 | History
Edit
An edition of Reactive systems (2007)

Reactive Systems

Modelling, Specification and Verification

  • 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
Cambridge University Press
Language
English
Pages
300

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Expert systems (Computer science), Validation, Verification, System design, Mathematical models

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Reactive Systems
Reactive Systems: Modelling, Specification and Verification
August 13, 2007, Cambridge University Press
Hardcover in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

The Physical Object

Format
Hardcover
Number of pages
300
Dimensions
9.8 x 6.8 x 0.9 inches
Weight
1.5 pounds

ID Numbers

Open Library
OL7767658M
Internet Archive
reactivesystemsm00acet
ISBN 10
0521875463
ISBN 13
9780521875462
Library Thing
5563606
Goodreads
6558399

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 / OPDS | Wikipedia citation
July 30, 2014 Edited by ImportBot import new book
April 6, 2014 Edited by ImportBot Added IA ID.
August 6, 2010 Edited by IdentifierBot added LibraryThing ID
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 29, 2008 Created by an anonymous user Imported from amazon.com record.