Transformation-based Reactive Systems Development: 4th International Amast Workshop on Real-time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997: Proceedings - Lecture Notes in Computer Science - Miquel Bertran - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540630104 - 1997年5月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Transformation-based Reactive Systems Development: 4th International Amast Workshop on Real-time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997: Proceedings - Lecture Notes in Computer Science

価格
¥ 8.541
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月26日 - 年11月5日
Miquel Bertran の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.


436 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1997年5月7日
ISBN13 9783540630104
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 436
寸法 156 × 234 × 23 mm   ·   625 g
言語 ドイツ語  
編集者 Bertran, Miquel
編集者 Rus, Teodor

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