Alles van: Arend Rensink
Resultaat 1 - 14 (van 14)
Arend Rensink Graven in software
Non-fictie
Nederlands | 34 pagina's | Universiteit Twente], [Enschede | 2011
Gedrukt boek
H. Kastenberg | Anneke Kleppe | Arend Rensink Engineering object-oriented semantics using graph transformations
Non-fictie
Engels | 93 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
Arend Rensink | Walter Vogler Fair testing
Non-fictie
Engels | 70 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
M. van der Bijl | Arend Rensink | Jan Tretmans Action refinement in conformance testing
Non-fictie
Engels | 33 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
M. van der Bijl | Arend Rensink | Jan Tretmans Action refinement in testing with UIOCO
Non-fictie
Engels | 48 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
V. Jones | Arend Rensink | H. Brinksma Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Who is pointing when to whom
on model-checking pointer structures
Non-fictie
Engels | 79 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Model checking dynamic allocation and deallocation
Non-fictie
Engels | 57 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2001
Gedrukt boek
Arend Rensink Action contraction using coupled simulation
Non-fictie
Engels | 44 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek
Dino Distefano | Joost-Pieter Katoen | Arend Rensink On a temporal logic for object-based systems
Non-fictie
Engels | 17 pagina's | University of Twente, Centre for Telematics and Information Technology, Enschede | 2000
Gedrukt boek
Arend Rensink | H. Wehrheim Process algebra with action dependencies
Non-fictie
Engels | 59 pagina's | Centre for Telematics and Information Technology, Enschede | 1999
Gedrukt boek
Arend Rensink Models and methods for action refinement
Non-fictie
Engels | 319 pagina's | 1993
Gedrukt boek
Arend Rensink On the semantics of non-atomic actions
Non-fictie
Nederlands | University of Twente, Faculty of Informatics, Enschede | 1988
Gedrukt boek
Arend Rensink MSX-handboek voor gevorderden
Non-fictie
Nederlands | 335 pagina's | Kluwer Technische Boeken, Deventer [etc.] | 1987
Gedrukt boek