Frank de Boer - Böcker
Concurrency Verification
Av Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, 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
Häftad, Engelska, 2012
1 309 kr
Concurrency Verification
Av Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, 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
Inbunden, Engelska, 2001
3 909 kr
Häftad, Engelska, 2020
809 kr
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle
Häftad, Engelska, 2024
1 059 kr
Häftad, Engelska, 2015
739 kr
Häftad, Engelska, 2018
739 kr