Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Verification

by Franta

Hardcover

details (USA).

ISBN: 978-0-13-328807-0

ISBN-10: 0-13-328807-2

Prentice Hall · 1982