Verification, Model Checking, and Abstract Interpretation

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Springer Nature, 2024.
On-line přístup:	Access eBook
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky: Verification, Model Checking, and Abstract Interpretation