Symbolic Execution and Quantitative Reasoning Applications to Software Safety and Security
Innbundet /
2020
/ Engelsk
Produktdetaljer
ISBN
9781681738567
Publisert
2020-05-13
Utgiver
Morgan & Claypool Publishers
Høyde
235 mm
Bredde
191 mm
Aldersnivå
P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
75
Forfatter
Produktdetaljer
ISBN
9781681738567
Publisert
2020-05-13
Utgiver
Morgan & Claypool Publishers
Høyde
235 mm
Bredde
191 mm
Aldersnivå
P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
75
Forfatter