CENTRAL LIBRARY
MILITARY INSTITUTE OF SCIENCE & TECHNOLOGY
0%
MIST Logo
Central Library
Military Institute of Science & Technology
Est. 1999  ·  Mirpur Cantonment, Dhaka
Open · Research · Knowledge
--:--
---
CHECKING
Register
Back to eBook Library
Principles of Verification: Cycling the Probabilistic Landscape
Computer Science Springer Nature

Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Publisher
Springer Nature
Imprint
Springer
Year
2025
ISBN
978-3-031-75775-4
Category
Computer Science
Read on Springer Nature
Access: On-campus: direct access. Off-campus: sign in via Shibboleth (BDREN TigerFed). See the Remote Access guide for off-campus sign-in.
Theme