Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science - Claus Lewerentz - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540588672 - 1995年1月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Claus Lewerentz
Formal Development of Reactive Systems: Case Study Production Cell - Lecture Notes in Computer Science

価格
¥ 10.766
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月14日 - 年9月1日
Claus Lewerentz の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

A systematic comparison of 18 different approaches to the control of a production cell. By analyzing the benefits and explaining the limitations of each formal method, the text provides guidance on the application of appropriate techniques that put formal methods into industrial use.

400 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1995年1月26日
ISBN13 9783540588672
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 400
寸法 156 × 234 × 21 mm   ·   576 g
言語 ドイツ語  
編集者 Lewerentz, Claus
編集者 Lindner, Thomas

Claus Lewerentzの他の作品を見る

すべて表示

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

Claus Lewerentzのすべてを見る ( 例： Paperback Book )