| Record Type: |
Language materials, printed
: Monograph/item
|
| Title/Author: |
Principles of verification: cycling the probabilistic landscape/ edited by Nils Jansen ... [et al.]. |
| Reminder of title: |
essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday. |
| other author: |
Jansen, Nils. |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
xv, 503 p. :ill. (some col.), digital ; : 24 cm.; |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - |
| Online resource: |
https://doi.org/10.1007/978-3-031-75778-5 |
| ISBN: |
9783031757785 |