Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering)

Engineering

by: Derek Andrews · Darrel Ince

Paperback

details (USA).

ISBN: 978-0-07-707214-8

ISBN-10: 0-07-707214-6

McGraw-Hill College · 1991