All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science - Manuel Clavel - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 2007年7月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Manuel Clavel
All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science 2007 edition

価格
¥ 18.130
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月28日 - 年8月13日
Manuel Clavel の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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. This monograph offers a comprehensive account of Maude, a language and system based on rewriting logic.

824 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2007年7月20日
ISBN13 9783540719403
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 824
寸法 156 × 234 × 41 mm   ·   1,15 kg
言語 英語  

同じ出版社からのその他の記事

Manuel Clavelのすべてを見る ( 例： Paperback Book および Hardcover Book )