Principles of Verification: Cycling the Probabilistic Landscape

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Jansen, Nils
Beste egile batzuk:	Junges, Sebastian, Kaminski, Benjamin Lucien, Matheja, Christoph, Noll, Thomas, Quatmann, Tim, Stoelinga, Mariëlle, Volk, Matthias
Formatua:	eBook
Hizkuntza:	ingelesa
Argitaratua:	Springer Nature, 2025.
Gaiak:	Computer Science
Sarrera elektronikoa:	Access eBook
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak: Principles of Verification: Cycling the Probabilistic Landscape