Willem-Paul de Roever - Böcker
Inbunden, Engelska, 1998
2 889 kr
Data Refinement
Av Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, Willem-Paul de Roever, Kai Engelhardt
Häftad, Engelska, 2008
969 kr
Concurrency Verification
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
Inbunden, Engelska, 2001
4 709 kr
Häftad, Engelska, 2013
2 889 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 459 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 459 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 459 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 459 kr
Compositionality: The Significant Difference
Av Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever
Häftad, Engelska, 1998
1 459 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