International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-
Springer
|
Conference on Mathematics of Program Construction, Snepscheut, Jan L. A. van de, 1953-
Springer-Verlag
|
International Conference on the Mathematics of Program Construction, Jeuring, Johan, 1965-
Springer
|
International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-
Springer-Verlag
|
Bird, Bird, Richard, Morgan, Carroll, Woodcock, Jim
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-
Springer-Verlag
|
International Conference on the Mathematics of Program Construction, Kozen, Dexter
Springer
|
Symposium on Mathematical Foundations of Computer Science, Havel, Ivan M., Koubek, Václav, 1948-
Springer-Verlag
|
International Conference on the Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José N.
Springer
|
International Symposium on Stochastic Algorithms, Foundations and Applications, Albrecht, Andreas, Steinhöfel, Kathleen
Springer
|
International Conference on the Mathematics of Program Construction, Boiten, Eerke A, Möller, Bernhard, 1953-
Springer
|
Messina, P. C. (Paul C.), 1943-, Murli, A. (Almerico), 1936-, International Seminar on Problems and Methodologies in …
Springer-Verlag
|