|
|
|
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / edited by Cliff Jones, Ji Wang, Naijun Zhan.
by Jones, Cliff [editor.] | Wang, Ji [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna.
by Butler, Michael [editor.] | Jones, Cliff [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.
by Abdallah, Ali E [editor.] | Jones, Cliff B [editor.] | Sanders, Jeff W [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jones Woodcock.
by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jones [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.
by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.
by Jones, Cliff B [editor.] | Lloyd, John L [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
