An edition of Reactive systems (2003)

Reactive systems

modelling, specification and verification

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Reactive systems by Luca Aceto ... [et al.]
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
September 10, 2021 | History
Edit
An edition of Reactive systems (2003)

Reactive systems

modelling, specification and verification

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

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Expert systems (Computer science), Validation, Verification, System design, Mathematical models, Computer software, verification, Computer science, mathematics
Edition Availability
Cover of: Reactive Systems
Reactive Systems: Modelling, Specification and Verification
2011, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Reactive Systems
Reactive Systems: Modelling, Specification and Verification
2007, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Reactive Systems
Reactive Systems: Modelling, Specification and Verification
2007, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Reactive systems
Reactive systems: modelling, specification and verification
2007, Cambridge University Press
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Reactive Systems
Reactive Systems: Modelling, Specification and Verification
2003, Cambridge University Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index

Published in
Cambridge, New York

Classifications

Library of Congress
QA76.76.E95 R39 2007, QA76.76.E95

The Physical Object

Pagination
xvi, 284 p. :
Number of pages
284

ID Numbers

Open Library
OL17238091M
Internet Archive
reactivesystemsm00acet_286
ISBN 10
0521875463
ISBN 13
9780521875462
LCCN
2007282029
OCLC/WorldCat
123374684
Library Thing
5563606
Goodreads
6558399

Source records

Miami University of Ohio MARC record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Internet Archive item 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
September 10, 2021 Edited by ImportBot import existing book
July 6, 2019 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book