Partial Order Methods in Verification
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann
Inbunden
1 969 kr
Del 7 i serien Perspectives
Early History of Data Networks
Häftad, Engelska, 1994
1 469 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1994-11-30
- Mått181 x 241 x 20 mm
- Vikt592 g
- FormatHäftad
- SpråkEngelska
- SeriePerspectives
- Antal sidor304
- FörlagIEEE Computer Society Press,U.S.
- ISBN9780818667824
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 60
Del 11
Gifted Myths: An Easy-to-Read Guide to Myths on the Gifted and Twice-Exceptional
Kathleen Humble
Häftad
229 kr
Del 11
Boost: 12 Effective Ways to Lift Up Our Twice-Exceptional Children
Sarah J. Wilson, Kelly Hirt
Häftad
209 kr
Del 1
Del 5
Del 4
Del 4