Springer-Verlag New York IFM???99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

General

Brand
Springer London
ISBN
Springer London 1852331070
MPN
Springer London 3 black & white illustrations, biography

Characteristics

Menu