Back to results
Cover image for book Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

By:Craigen, Dan; Gerhart, Susan
Publisher:Elsevier S & T
Print ISBN:9780815513629
eText ISBN:9781437728170
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