Clicky

Concurrency verification by W.-P. de Roever and similar books you'll love - Bookscovery

Home > Authors > W.-P. de Roever > Concurrency verification

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

5 Books Similar to Concurrency verification by W.-P. de Roever

Bookscovery readers who liked Concurrency verification also like A Decade of concurrency, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency and Stepwise refinement of distributed systems. How many of these have you read?

A Decade of concurrency by J. W. de Bakker

Cover of A Decade of concurrency
Buy this book at:
Bookshop.org Amazon

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Willem-Paul de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Buy this book at:
Bookshop.org Amazon

Stepwise refinement of distributed systems by J. W. de Bakker

Cover of Stepwise refinement of distributed systems
Buy this book at:
Bookshop.org Amazon

Formal techniques in real-time and fault-tolerant systems by Hans Langmaack

Cover of Formal techniques in real-time and fault-tolerant systems
Buy this book at:
Bookshop.org Amazon

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Willem-Paul de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Concurrency verification

Please sign in to leave a comment