Partial Order Methods in Verification
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann
Inbunden, 1997
2 029 kr
Del 7 i serien Perspectives
Early History of Data Networks
Häftad, Engelska, 1994
1 539 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
229 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
Del 4
Hoppa över listan
Du kanske också är intresserad av
Del 5
Del 12
Scheduling and Load Balancing in Parallel and Distributed Systems
Behrooz A. Shirazi, Behrooz A. Shirazi, Ali R. Hurson, Krishna M. Kavi
Häftad, 1995
1 529 kr
Del 29
Elements of Software Process Assessment & Improvement
El Emam, Madhavji NH, Khaled El Emam, Nazim H. Madhavji
Häftad, 1999
1 999 kr
Del 51
Del 44
Software Requirements Engineering
Thayer, Dorfman M, Richard H. Thayer, Merlin Dorfman
Häftad, 1997
2 089 kr
Del 34
Del 10
Cache Coherence Problem in Shared-Memory Multiprocessors
Igor Tartalja, Veljko Milutinović
Häftad, 1996
1 349 kr
Del 32
Del 33
Del 4
Parallel Architectures for Artificial Neural Networks
N. Sundararajan, P. Saratchandran
Inbunden, 1998
2 059 kr