Temporal Logic and State Systems 2008th ed.(Texts in Theoretical Computer Science. An EATCS Series) H 300 p. 08
Kröger, Fred,
Merz, Stephan
著
発行年月 |
2008年03月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数/巻数 |
XII, 436 p. 34 illus. |
|---|
|
|
ジャンル |
洋書/理工学/情報科学/情報科学基礎 |
|---|
|
|
ISBN |
9783540674016 |
|---|
|
商品コード |
0200604912 |
|---|
|
|
|
本の性格 |
テキスト |
|---|
|
新刊案内掲載月 |
2006年04月 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200604912 |
|---|
内容
Formerly titled `Theoretical Computer Science'