金沢大学附属図書館 OPAC plus

IRDB

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 資料ID：

出版年：

～

主題：

請求記号：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. FM’99 — Formal Methods

World Congress on Formal Methods in the Development of Computing Systems ; Davies, Jim ; Wing, Jeannette Marie ; Woodcock, Jim

電子ブック

ＥＢ

2. FM’99 — Formal Methods

World Congress on Formal Methods in the Development of Computing Systems ; Davies, Jim ; Wing, Jeannette Marie ; Woodcock, Jim