Search results 5
Paper図書
National Diet Library
- Author HeadingIFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirche...
Paper図書
Other Libraries in Japan
- Author HeadingIFIP Working Conference on Formal Description of Programming Concepts Wirsing, M. (Martin) IFIP Tec...
Paper図書
National Diet Library
- Author HeadingIFIP Working Conference on Formal Description of Programming Concepts (1977 : St. Andrews, N.B.) Ne...
Paper図書
Other Libraries in Japan
- Author HeadingIFIP Working Conference on Formal Description of Programming Concepts Bjørner, D. (Dines) IFIP Tech...
Paper図書
Other Libraries in Japan
- Author HeadingIFIP Working Conference on Formal Description of Programming Concepts Neuhold, Erich J.
Reached to the end of result.