Search Results for Jones, Cliff.

1.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Author

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06410-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Author

Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24541-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75221-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75292-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

Author

Roscoe, A.W. editor. Jones, Cliff B. editor. Wood, Kenneth R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-912-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Methods, Models and Tools for Fault Tolerance

Author

Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00867-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

Author

Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138838

Format:

Availability

Online Library~1

Available:
Copies:

9.

Rigorous Development of Complex Fault-Tolerant Systems

Author

Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11916246

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Author

Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136154

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}