Del i serien ACM Distinguished Dissertation
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Häftad, Engelska, 2003
679 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2003-03-17
- Mått216 x 279 x 11 mm
- Vikt467 g
- FormatHäftad
- SpråkEngelska
- SerieACM Distinguished Dissertation
- Antal sidor182
- FörlagMIT Press Ltd
- ISBN9780262541572
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 3
- Nyhet
Del 11
- Nyhet
- Nyhet
- Nyhet
Del 6
Del 2
- Nyhet
Del 4