bib.howest.be Zoekresultaten

U zocht naar: Auteur Jones, Cliff

1 - 8 van 8

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

Auteur:: Besnard, Denis; Gacek, Cristina; Jones, Cliff; Besnard, Denis; Gacek, Cristina; Jones, Cliff B.; Jones, Cliff
Uitgever:: Springer London 2006
Type:: e-book

2. Methods, Models and Tools for Fault Tolerance

Auteur:: Butler, Michael; Jones, Cliff; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff B.
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

3. Rigorous Development of Complex Fault-Tolerant Systems

Auteur:: Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

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

Auteur:: Jones, Cliff; Roscoe, A.W; Wood, Kenneth R.; Jones, Cliff B.; Roscoe, A. W.; Wood, Kenneth B.; Wood, Kenneth R.
Uitgever:: Springer London 2010
Type:: e-book

5. Theoretical Aspects of Computing – ICTAC 2007

Auteur:: Jones, Cliff B.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef; Woodcock, Jones
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

6. Communicating Sequential Processes. The First 25 Years

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

7. Formal Methods and Hybrid Real-Time Systems

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

8. FM 2014: Formal Methods

Auteur:: Cliff Jones, Pekka Pihlajasaari, Jun Sun; Pihlajasaari, Pekka; Sun, Jun
Uitgever:: Springer International Publishing 2014
Type:: e-book