bib.howest.be Search Results

You searched for: Auteur Jones, Cliff

1 - 8 of 8

1. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Author:: Besnard, Denis; Gacek, Cristina; Jones, Cliff; Besnard, Denis; Gacek, Cristina; Jones, Cliff B.; Jones, Cliff
Publisher:: Springer London 2006
Format:: e-book

2. Methods, Models and Tools for Fault Tolerance

Author:: Butler, Michael; Jones, Cliff; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff B.
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

3. Rigorous Development of Complex Fault-Tolerant Systems

Author:: Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

4. Reflections on the Work of C.A.R. Hoare

Author:: Jones, Cliff; Roscoe, A.W; Wood, Kenneth R.; Jones, Cliff B.; Roscoe, A. W.; Wood, Kenneth B.; Wood, Kenneth R.
Publisher:: Springer London 2010
Format:: e-book

5. Theoretical Aspects of Computing – ICTAC 2007

Author:: Jones, Cliff B.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef; Woodcock, Jones
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

6. Communicating Sequential Processes. The First 25 Years

Author:: Abdallah, Ali E.; Hoare, Charles Antony Richard; Jones, Cliff B.; Kanade, Takeo; Sanders, Jeff W.
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

7. Formal Methods and Hybrid Real-Time Systems

Author:: Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

8. FM 2014: Formal Methods

Author:: Cliff Jones, Pekka Pihlajasaari, Jun Sun; Pihlajasaari, Pekka; Sun, Jun
Publisher:: Springer International Publishing 2014
Format:: e-book