Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Häftad, Engelska, 2012
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, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich
1 309 kr
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2012-01-26
- Mått154 x 228 x 42 mm
- Vikt1 144 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor800
- FörlagCambridge University Press
- ISBN9780521169325
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, Willem-Paul de Roever, Frank de Boer, Jozef Hooman
4 709 kr
- Nyhet
- Nyhet
- Nyhet
- Nyhet