Vdm'87: Vdm-A Formal Method at Work: Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

Computer

by D. Bjorner

Paperback

details (USA).

ISBN: 978-0-387-17654-3

ISBN-10: 0-387-17654-3

Springer Verlag · 1987