Blank Cover Image
所蔵情報QRコード

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉著

資料種別:
図書
出版情報:
東京 : サイエンス社, 2017.9
形態:
vii, 197p ; 21cm
シリーズ名:
ライブラリ情報学コア・テキスト ; 13 <BA84112463>
著者名:
二木, 厚吉(1948-) <DA01928254>  
ISBN:
9784781914077 [4781914071]
書誌ID:
BB24526104
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック SystemVerilog入門 : 設計・仕様・検証のためのハードウェア記述言語 (: electronic bk)

篠塚, 一也

KinoDen
7 図書 プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究

佐々政孝

東京工業大学
2 学位論文 プログラム言語の形式的意味記述と検証の研究

武田, 正之

東京工業大学
8 図書 Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

二木, 厚吉(1948-), Jouannaud, Jean-Pierre, Meseguer, José

Springer
3 図書 実時間ソフトウェアの仕様記述とその検証方式の研究

米崎、 直樹

東京工業大学 、 1998.3
9 図書 検証のためのSystemVerilogプログラミング

篠塚, 一也

森北出版
4 図書 データ中心のプログラム仕様記述法

橋本, 正明(1946-)

井上書院
10 図書 SystemVerilogによる検証の基礎

篠塚, 一也

森北出版
5 図書 プログラム仕様記述論

荒木, 啓二郎, 張, 漢明

オーム社
11 図書 Juliaプログラミングクックブック : 言語仕様からデータ分析、機械学習、数値計算まで

Kamiński, Bogumił, Szufel, Przemysław, 中田, 秀基(1967-)

オライリー・ジャパン, オーム社 (発売)
6 図書 プロを目指す人のためのRuby入門 : 言語仕様からテスト駆動開発・デバッグ技法まで

伊藤, 淳一(1977-)

技術評論社
12 図書 ソフトウェア仕様記述の先進技法-Z言語

Potter, Ben, Sinclair, Jane, Till, David, 田中, 武二

トッパン
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12