NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic …
Springer-Verlag
|
Bauer, Friedrich Ludwig, 1924-, Samelson, Klaus, 1918-
Springer
|
Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming …
D. Reidel
|
NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division
North-Holland Pub. Co, Interscience Publishers
|
NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty …
Springer-Verlag
|
North Atlantic Treaty Organization. Scientific Affairs Division, Bhushan, Bharat, 1949-
Kluwer Academic Publishers
|
Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on …
Springer
|
North Atlantic Treaty Organization. Scientific Affairs Division
Plenum Press
|
Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific …
Springer-Verlag
|
North Atlantic Treaty Organization. Scientific Affairs Division
Springer-Verlag
|
Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., …
|
North Atlantic Treaty Organization. Scientific Affairs Division
IOS Press
|