An Introduction to Formal Program Verification

An Introduction to Formal Program Verification

No ratings yet
1985 · English · Hardcover
Add To Shelf

Rate this book


Export Book Journal

Description

Book by Mili Ali

Book Details

Format Hardcover
Pages 312 pages
Language English
Published Jan 1, 1985
Publisher Van Nostrand Reinhold
ISBN-10 0442263228
ISBN-13 9780442263225
Add To Shelf

Rate this book


Export Book Journal