Mathematical Methods of Specification and Synthesis of Software Systems '85 (Lecture Notes in Computer Science)
by
W. Bibel
Paperback
details (
USA
).
ISBN: 978-0-387-16444-1
ISBN-10: 0-387-16444-8
Springer Verlag
· 1986
