Go back

Compositional Verification Of Concurrent And Real Time Systems(2002 Edition)

Authors:

Eric Y.T. Juan, Jeffrey J.P. Tsai

Free compositional verification of concurrent and real time systems 2002 edition eric y.t. juan, jeffrey j.p. tsai
7 ratings
Cover Type:Paperback
Condition:New

In Stock

Include with your book

Free shipping: April 16, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $97.76 Savings: $97.76(100%)

Book details

ISBN: 1461353491, 978-1461353492

Book publisher: Springer