Computer Aided Verification

By:	Warren A. Hunt; Jr.; ‎Fabio Somenzi
Publisher:	Springer Nature
Print ISBN:	9783540405245
eText ISBN:	9783540450696
Edition:	1
Format:	Page Fidelity

Select an option

eBook Features

Instant Access

Purchase and read your book immediately

Access your eTextbook anytime and anywhere

Built-in study tools like highlights and more

Listen and follow along as Bookshelf reads to you

Details

Table of Contents