Concise Guide to Software Verification

Uloženo v:
Podrobná bibliografie
Hlavní autor: Huisman, Marieke
Další autoři: Wijs, Anton
Médium: E-kniha
Jazyk:angličtina
Vydáno: Springer Nature, 2023.
Témata:
On-line přístup:Access eBook
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:1 online resource
Médium:Mode of access: World Wide Web.
ISBN:978-3-031-30167-4