|
Extensions of the UNITY Methodology 1995th ed.(Lecture Notes in Computer Science Vol.908) P 189 p. 95
Rao, Josyula R.
著
発行年月 |
1995年04月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
XI, 178 p. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／ソフトウェア |
|---|
|
|
ISBN |
9783540591733 |
|---|
|
商品コード |
0209513564 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209513564 |
|---|
内容
This monograph extends and generalizes the UNITY methodology, introducedin the late 1980s as a formalism aiding in the specification and verificationof parallel programs. The author develops the ideas behind UNITY in order tounderstand the potential and limitations of this approach.
