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

Compositional verification of concurrent and real-time systems

by , , and

Compositional verification of concurrent and ...
Eric Y. T. Juan, Eric Y.T. Jua ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 5, 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

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)
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

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

Classifications

Dewey Decimal Class
004/.35
Library of Congress
QA76.58 .J83 2002, QA76.758Q334-342TK78

The Physical Object

Pagination
xvii, 196 p. :
Number of pages
196

Edition Identifiers

Open Library
OL20645098M
ISBN 10
140207025X
LCCN
2002023653
Goodreads
4362446

Work Identifiers

Work ID
OL13185560W

Source records

Better World Books record
Library of Congress MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 5, 2020 Edited by MARC Bot import existing book
October 8, 2020 Edited by ImportBot import existing book
July 31, 2020 Edited by ImportBot import existing book
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
October 29, 2008 Created by ImportBot Imported from Library of Congress MARC record