Search results 12
Paper図書
Other Libraries in Japan
- Author HeadingInternational Conference on the Mathematics of Program Construction Kozen, Dexter
Paper図書
National Diet Library
- Author HeadingKozen, Dexter, 1951- MPC 2004 (7th : 2004 :...
Paper図書
Other Libraries in Japan
- Author HeadingKozen, Dexter
Paper図書
Other Libraries in Japan
- Author HeadingClarke, Edmund Kozen, Dexter Logics of Programs Workshop
Paper図書
Other Libraries in Japan
- Author HeadingLogics of Programs Workshop Kozen, Dexter
Paper図書
National Diet Library
- Author HeadingClarke, Edmund. Kozen, Dexter, 1951- Logics of Programs Wor...
Paper図書
National Diet Library
- Author HeadingLogics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Kozen, Dexter, 1951-