Tools and algorithms for the construction and analysis of systems : 2nd International workshop : Mar 1996, Passau, Germany

Name: Tools and algorithms for the construction and analysis of systems : 2nd International workshop : Mar 1996, Passau, Germany
Availability: InStock
ISBN: 9783540610427

ISBN: 9783540610427

出版社: Springer-Verlag