Symbolic Model Checking
Inbunden, Engelska, 1993
Av Kenneth McMillan, Kenneth L. McMillan, Kenneth L McMillan
1 139 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1993-07-31
- Mått160 x 230 x 18 mm
- Vikt494 g
- FormatInbunden
- SpråkEngelska
- Antal sidor216
- FörlagKluwer Academic Publishers
- ISBN9780792393801
Hoppa över listan