Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Lecture Notes in Computer Science
Jansen, Nils (EDT)
Junges, Sebastian (EDT)
Kaminski, Benjamin Lucien (EDT)
- 出版社：Springer International Publishing Ag
- 出版年月：2024年 11月
- ISBN：9783031757778
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：503 p.