茨城大学附属図書館 OPAC

IRDB

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

選択:

検索結果: 2 件

図書

1. The Use of formal specification of software : June 25-27, 1979, Berlin (: gw ; : us)

edited by H.K. Berg and W.K. Giloi

図書

2. Formal methods of program verification and specification

H.K. Berg ... [et al.]

出版情報:	Englewood Cliffs, N.J. : Prentice-Hall, c1982
シリーズ名:	Prentice-Hall software series
子書誌情報:	loading…
所蔵情報:	loading…