Back to results
Cover image for book Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

By:Eric Y. T. Juan; Jeffrey J. P. Tsai
Publisher:Springer Nature
Print ISBN:9781402070259
eText ISBN:9781461510093
Edition:0
Format:Page Fidelity

eBook Features

Instant Access

Purchase and read your book immediately

Read Offline

Access your eTextbook anytime and anywhere

Study Tools

Built-in study tools like highlights and more

Read Aloud

Listen and follow along as Bookshelf reads to you