Willem-Paul de Roever - Böcker
Inbunden, Engelska, 1998
2 879 kr
Data Refinement
Av Willem-Paul de Roever, Kai Engelhardt, Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology
Häftad, Engelska, 2008
969 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, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich
Häftad, Engelska, 2012
1 309 kr
Data Refinement
Av Willem-Paul de Roever, Kai Engelhardt, Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, W. Deroever, W. -P De Roever, Kai Englehardt
Inbunden, Engelska, 1998
2 219 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
4 709 kr
Häftad, Engelska, 2013
2 879 kr
Current Trends in Concurrency
Av Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg, Willem-Paul de Roever
Häftad, Engelska, 1986
1 449 kr
Formal Methods for Components and Objects
Av Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer
Häftad, Engelska, 2003
739 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, Engelska, 2004
739 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2005
739 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2006
739 kr
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Av Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Jacobus W. De Bakker, Willem-Paul De Roever
Häftad, Engelska, 1989
1 449 kr
Stepwise Refinement of Distributed Systems
Av Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Jaco W. De Bakker, Willem-Paul De Roever
Häftad, Engelska, 1990
1 449 kr
Formal Techniques in Real-Time and Fault-Tolerant Systems
Av Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever
Häftad, Engelska, 1994
1 449 kr
Compositionality: The Significant Difference
Av Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever
Häftad, Engelska, 1998
1 449 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2007
739 kr
Formal Methods for Components and Objects
Av Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, Engelska, 2008
739 kr