A Programming Approach to Formal Methods (The McGraw-Hill international series in software engineering)

engineering

by Chris Casey

Hardcover

details (USA).

ISBN: 978-0-07-707968-0

ISBN-10: 0-07-707968-X

McGraw-Hill Book Co · 1994