|
Formal Development of Reactive Systems 1995th ed.(Lecture Notes in Computer Science Vol.891) P 405 p. 95
Lewerentz, Claus,
Lindner, Thomas
編
発行年月 |
1995年01月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
XII, 400 p. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／ソフトウェア |
|---|
|
|
ISBN |
9783540588672 |
|---|
|
商品コード |
0209504520 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209504520 |
|---|
内容
A systematic comparison of 18 different approaches to the control of aproduction cell. By analyzing the benefits and explaining the limitations ofeach formal method, the text provides guidance on the application ofappropriate techniques that put formal methods into industrial use.
