IFIP Working Conference on Formal Description of Programming Concepts, Neuhold, Erich J., 1940-
North-Holland Pub. Co.
|
Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.
Springer-Verlag
|
Apt, Krzysztof R., 1949-
Springer
|
IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical …
North-Holland Pub. Co.
|
WIRSING, M, IFIP WORKING CONFERENCE ON FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS. 1986, EBBERUP, DENMARK
NORTH-HOLLAND
|
IFIP Working Conference on Formal Language Description Languages, Steel, Thomas B., 1929-, IFIP Technical Committee …
North-Holland
|
Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
MIT Press
|
|
Apt, Krzysztof R., 1949-, Olderog, E.-R.
Springer
|
Bird, R. J. (Richard J.)
Wiley
|
Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1
Springer-Verlag
|
International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming
MIT Press
|