1.
電子ブック |
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
|
|||||||
2.
電子ブック |
edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
|
|||||||
3.
電子ブック |
edited by Dines Bjørner, C.A.R. Hoare, Hans Langmaack
|