※一部利用できない機能があります
| 1.
電子ブック |
ＥＢ
|
World Congress on Formal Methods in the Development of Computing Systems ; Davies, Jim ; Wing, Jeannette Marie ; Woodcock, Jim
|
||||
| 2.
電子ブック |
ＥＢ
|
World Congress on Formal Methods in the Development of Computing Systems ; Davies, Jim ; Wing, Jeannette Marie ; Woodcock, Jim
|
||||
| 3.
電子ブック |
|
International Conference on Formal Engineering Methods ; Barnett, Mike ; Davies, Jim ; Schulte, Wolfram
|
||||
| 4.
電子ブック |
ＥＢ
|
Feeney, Kevin ; Davies, Jim ; Dirschl, Christian ; Francois Pieter ; Hellmann, Sebastian ; James Welch ; Jim Davies ; Koller, Andreas ; Marciniak Arkadiusz ; Welch, James
|
