Back to results
Cover image for book Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

By:Einar Broch Johnsen; Marcello M. Bonsangue
Publisher:Springer Nature
Print ISBN:9783540729198
eText ISBN:9783540729525
Edition:1
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