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

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)

1 edition

by , , and

Cover of: Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science) by Eric Y. T. Juan, Eric Y.T. Juan, Jeffrey J.P. Tsai, Eric Y.T. Juan, Jeffrey J.P. Tsai
Locate

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
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 (The Springer International Series in Engineering and Computer Science)

1 edition

by , , and

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

Publish Date
Publisher
Springer
Language
English
Pages
216

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)
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
Cover of: Compositional verification of concurrent and real-time systems
Compositional verification of concurrent and real-time systems
2002, Kluwer Academic Publishers
in English
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
Cover of: Compositional verification of concurrent and real-time systems
Compositional verification of concurrent and real-time systems
2002, Kluwer Academic Publishers
in English

Add another edition?

Book Details

First Sentence

"Concurrency is an important technique widely used in modern systems."

The Physical Object

Format
Hardcover
Number of pages
216
Dimensions
9.4 x 5.9 x 0.4 inches
Weight
1.1 pounds

Edition Identifiers

Open Library
OL8372317M
ISBN 10
140207025X
ISBN 13
9781402070259
Goodreads
4362446

Work Identifiers

Work ID
OL13185560W

Community Reviews (0)

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