Jeffrey J.P. Tsai

Identifiers

Open LibraryOL2945581A

Top Subjects

Verification (1)
Technology & Industrial Arts (1)
Parallel processing (Electronic computers) (1)
Data Processing - Parallel Processing (1)
Computers (1)
General (1)
Computers / Programming / Software Development (1)

Books by Jeffrey J.P. Tsai

Total count: 1

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

Springer2002-04-30