Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Inbunden, Engelska, 2001
Av Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul de Roever, Frank de Boer, Jozef Hooman
4 709 kr
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2001-11-26
- Mått160 x 235 x 43 mm
- Vikt1 175 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor800
- FörlagCambridge University Press
- ISBN9780521806084
Tillhör följande kategorier
Du kanske också är intresserad av
Concurrency Verification
Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich
1 309 kr
Diagnostic Imaging: Spine
Jeffrey S. Ross, Kevin R. Moore, USA) Ross, Jeffrey S. (Consultant, Neuroradiology Division, Department of Radiology, Mayo Clinic Arizona, Professor of Radiology, Mayo Clinic College of Medicine, Phoenix, Arizona, USA) Moore, Kevin R. (Pediatric Radiologist and Neuroradiologist, Intermountain Pediatric Imaging, Primary Children's Hospital, Adjunct Professor of Radiology, University of Utah School of Medicine, Salt Lake City, Utah
4 709 kr