お店のコメント(スペック情報を含む場合もあり)
内容説明 This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.
商品ジャンル
商品名
最終調査日時
2012/11/23 (Fri) 23:41:25
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/11/23 (Fri) 23:41:25
¥8,979
0 %
¥8,979
2012/03/06 (Tue) 05:30:44
¥8,990
0 %
¥8,990
2012/01/07 (Sat) 05:07:15
¥9,050
0 %
¥9,050
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告