この商品を友人に教える:
Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science
価格
¥ 12.564
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月21日 - 年11月2日
iMusicのウィッシュリストに追加
Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science
The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. a method for synthesising Petri net models from given transition systems; application of coloured Petri nets for modelling software architecture; and Petri net model checking.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2026年7月17日 |
| ISBN13 | 9783662733042 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 381 |
| 寸法 | 235 × 155 × 27 mm · 620 g |
| 言語 | ドイツ語 |
| 編集者 | Desel, Jorg |
| 編集者 | Kleijn, Jetty |
| 編集者 | Kordon, Fabrice |
| 編集者 | Koutny, Maciej |
| 編集者 | Mikulski, Lukasz |
| 編集者 | Petrucci, Laure |