Partial Order Methods in Verification
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann
Inbunden, 1997
1 949 kr
Del 7 i serien Perspectives
Early History of Data Networks
Häftad, Engelska, 1994
1 479 kr
Beställningsvara. Skickas inom 5-8 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, 2019
219 kr
Del 11
Boost: 12 Effective Ways to Lift Up Our Twice-Exceptional Children
Sarah J. Wilson, Kelly Hirt
Häftad, 2018
209 kr
Del 1
Del 5
Del 4