Autor: Tim Quatmann

Apoio

3 Ebooks por Tim Quatmann

Nils Jansen & Sebastian Junges: Principles of Verification: Cycling the Probabilistic Landscape
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master’s and later his Ph.D. from th …
EPUB
Inglês
DRM
€77.36
Nils Jansen & Sebastian Junges: Principles of Verification: Cycling the Probabilistic Landscape
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master’s and later his Ph.D. from th …
EPUB
Inglês
DRM
€76.87
Nils Jansen & Sebastian Junges: Principles of Verification: Cycling the Probabilistic Landscape
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master’s and later his Ph.D. from th …
EPUB
Inglês
DRM
€83.27