13個の商品がショッピングカートに追加されます
|
|
以下の12個の商品は、ショッピングカートに入れることができません。 詳細については、商品ページを参照してください。
|
|
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
|
|
The B-Book: Assigning Programs to Meanings
|
|
SPIN Model Checker, The: Primer and Reference Manual
|
|
ホーアCSPモデルの理論
|
|
プログラミング言語理論への招待―正しいソフトウェアを書くために (ASCII SOFTWARE SCIENCE Language)
|
|
プログラム検証論 (情報数学講座)
|
|
関数型プログラミング (1985年) (コンピュータ・サイエンス研究書シリーズ〈17〉)
|
|
論理による問題の解法―Prolog入門 (情報処理シリーズ)
|
|
プログラムの理論 (1975年) (コンピュータ・サイエンス研究書シリーズ〈23〉)
|
|
ペトリネット理論入門―並列同時進行の表現と解析
|
|
コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)
|
|
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
|
|
|
|
|
|
|
|
|
kaizen (愛知県)
|
|
簡単な自己紹介: 技術の分かるデザイナ
|
|
|
|
|
|
|
|
|
|
|