Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science -  - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783662733042 - 2026年7月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Transactions on Petri Nets and Other Models of Concurrency XVIII - Lecture Notes in Computer Science

価格
¥ 12.564
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月21日 - 年11月2日
iMusicのウィッシュリストに追加

まだ評価がありません

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

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