Formal Methods and Software Development (PROC OF INTL JOINT CONF...(TAPSOFT)

Software

by Hartmut Ehrig

Paperback

details (USA).

ISBN: 978-0-387-15199-1

ISBN-10: 0-387-15199-0

Springer Verlag · 1985