Principles of Verification: Cycling the Probabilistic Landscape

Na minha lista:

Detalhes bibliográficos
Autor principal:	Jansen, Nils
Outros Autores:	Junges, Sebastian, Kaminski, Benjamin Lucien, Matheja, Christoph, Noll, Thomas, Quatmann, Tim, Stoelinga, Mariëlle, Volk, Matthias
Formato:	livro electrónico
Idioma:	inglês
Publicado em:	Springer Nature, 2025.
Assuntos:	Computer Science
Acesso em linha:	Access eBook
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

MARC


LEADER	00000nam a2200000 a 4500
001	18952
005	20261004181641.0
008	261004s2025 o 000 eng
020			\|a 978-3-031-75778-5
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/5623/go?src=vufind \|z Access eBook
942			\|c EBOOK
999			\|c 18952 \|d 18952