Formal Methods and Software Development Vol. 2 : Proceedings of t

Mathematical Foundations of Software Development. Proceedings of the by Ehrig

Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin /

Mathematical Logic and Foundations of Set Theory. Proceedings of an Internationa

Proceedings of Symposia in Pure Mathematics Volume 56, Part 1

Mathematical Foundations of Software Development. Proceedings of the Internation

CONVEX ANALYSIS & MATHEMATICAL ECONOMICS : Proceedings, PB, 1979, Springer, 136p

Combinatorial mathematics : proceedings of the 2. Australian conference. Lecture