Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Computer

by: D. Bjorner · C. A. R. Hoare

Paperback

details (USA).

ISBN: 978-0-387-52513-6

ISBN-10: 0-387-52513-0

Springer Verlag · 1990