産業技術総合研究所

Individuals/organizations Page

Books

モデル検査 上級編

産業技術総合研究所

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Architecture&Engineering
ISBN/Catalogue Number
：
ISBN 13 : 9784764955066
ISBN 10 : 4764955067
Format
：
Books
Publisher
：
ナノオプト・メディア
Release Date
：
February/2010
Release Country
：
Japan

Content Description

目次 : 第１章　導入/ 第２章　状態遷移系の合成/ 第３章　抽象化―状態数を減らす/ 第４章　ＣＴＬ（計算木論理）/ 付録Ａ　仕様記述言語Ｐｒｏｍｅｌａ/ 付録Ｂ　ＮｕＳＭＶの仕様記述言語/ 付録Ｃ　演習環境について

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • 明るいくよくよ人

    読了日：2012/05/27

    初級編からの怒濤の連読。 しかし、上級編では、説明もはしょってしまってるし、そもそも記述方法の説明とかが抜けているのは、ちょっと困る。 初級本のわかりやさに比べて、どうしたのかな？ しかし、例題とかはとても有用そう。別の本で勉強して、この本を再読してみよう。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items

Sell This Item