Principles of Verification: Cycling the Probabilistic Landscape
Spremljeno u:
| Glavni autor: | |
|---|---|
| Daljnji autori: | , , , , , , |
| Format: | e-knjiga |
| Jezik: | engleski |
| Izdano: |
Springer Nature,
2025.
|
| Teme: | |
| Online pristup: | Access eBook |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 18920 | ||
| 005 | 20261004181635.0 | ||
| 008 | 261004s2025 o 000 eng | ||
| 020 | |a 978-3-031-75783-9 | ||
| 100 | 1 | |a Jansen, Nils |9 37301 | |
| 700 | 1 | |a Junges, Sebastian | |
| 700 | 1 | |a Kaminski, Benjamin Lucien | |
| 700 | 1 | |a Matheja, Christoph | |
| 700 | 1 | |a Noll, Thomas |9 39935 | |
| 700 | 1 | |a Quatmann, Tim | |
| 700 | 1 | |a Stoelinga, Mariëlle | |
| 700 | 1 | |a Volk, Matthias | |
| 245 | 0 | 0 | |a Principles of Verification: Cycling the Probabilistic Landscape |
| 260 | |b Springer Nature, |c 2025. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Computer Science |9 69352 | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/5591/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 18920 |d 18920 | ||