Decidability of Parameterized Verification
Heftet /
2015
/ Engelsk
Produktdetaljer
ISBN
9781627057431
Publisert
2015-09-30
Utgiver
Vendor
Morgan and Claypool Life Sciences
Vekt
333 gr
Høyde
235 mm
Bredde
191 mm
Aldersnivå
G, 01
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
170
Produktdetaljer
ISBN
9781627057431
Publisert
2015-09-30
Utgiver
Vendor
Morgan and Claypool Life Sciences
Vekt
333 gr
Høyde
235 mm
Bredde
191 mm
Aldersnivå
G, 01
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
170