An edition of Compositional verification of concurrent and real-time systems (2002)

Compositional verification of concurrent and real-time systems

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Compositional verification of concurrent and ...
Eric Y. T. Juan
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 ImportBot
July 31, 2020 | History
Edit
An edition of Compositional verification of concurrent and real-time systems (2002)

Compositional verification of concurrent and real-time systems

by , , and

  • 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
Kluwer Academic Publishers
Language
English
Pages
196

Check nearby libraries

Buy this book

Subjects
Parallel processing (Electronic computers), Real-time data processing, Verification, Computer systems, Software engineering, Parallel Processing, Computers, Technology & Industrial Arts, Programming - Software Development, Computer Books: General, Programming - Parallel Programming, Parallel processing (Electroni, Data Processing - Parallel Processing, General, Computers / Parallel Processing, Computers / Programming / Software Development, Computers : Programming - Software Development, Medical : General, Parallel processing (electronic computers)

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
Sep 23, 2011, Springer
paperback
Libraries near you: WorldCat
Cover of: Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
April 30, 2002, Springer
Hardcover in English - 1 edition
Libraries near you: WorldCat
Cover of: Compositional verification of concurrent and real-time systems
Compositional verification of concurrent and real-time systems
2002, Kluwer Academic Publishers
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Compositional verification of concurrent and real-time systems
Compositional verification of concurrent and real-time systems
2002, Kluwer Academic Publishers
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [187]-193) and index.

Published in
Boston
Series
The Kluwer international series in engineering and computer science -- SECS 676, The Kluwer international series in engineering and computer science -- SECS 676, Kluwer international series in engineering and computer science -- SECS 676.

Classifications

Dewey Decimal Class
004/.35
Library of Congress
QA76.58 .J83 2002

The Physical Object

Pagination
xvii, 196 p. :
Number of pages
196

ID Numbers

Open Library
OL21484963M
ISBN 10
140207025X
LCCN
2002023653
OCLC/WorldCat
49226201
Goodreads
4362446

Source records

Oregon Libraries MARC record

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
July 31, 2020 Edited by ImportBot import existing book
July 31, 2019 Edited by MARC Bot associate edition with work OL13185560W
January 26, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page