Zum Inhalt springen

  1. Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]

    Mural: a formal development support system

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London; Berlin; Heidelberg [u.a.]: Springer, 1991

  3. Jones, Cliff B. [VerfasserIn]

    Systematic software development using VDM

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986

    Erschienen in: Prentice-Hall international series in computer science

  4. Jones, Cliff B. [HerausgeberIn]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jones [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

    Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4711

  5. Bjørner, Dines [VerfasserIn]; Jones, Cliff B. [VerfasserIn] ; Andrews, Derek [Sonstige Person, Familie und Körperschaft]

    Formal specification and software development

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1982

    Erschienen in: Prentice-Hall international series in computer science

  7. Butler, Michael [HerausgeberIn]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]

    Methods, models and tools for fault tolerance

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5454

  8. Abdallah, Ali E. [HerausgeberIn]; Jones, Cliff B. [HerausgeberIn]; Sanders, Jeff W. [HerausgeberIn] ; Symposium on the Occasion of 25 Years of CSP 2004 London

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3525

  9. Jones, Cliff B. [HerausgeberIn]; Bjoerner, Dines [GefeierteR]; Zhou, Chaochen [GefeierteR]; Bjørner, Dines [GefeierteR]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

    Formal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4700

  10. Muddy Waters [AusführendeR]; House, Son [AusführendeR]; Walker, T-Bone [AusführendeR]; Simone, Nina [AusführendeR]; Rogers, Jimmy [AusführendeR]; Smith, George [AusführendeR]; Collins, Albert [AusführendeR]; Thorogood, George [AusführendeR]; Winter, Johnny [AusführendeR]; Moore, Gary [AusführendeR]; King, B. B. [AusführendeR]; Hopkins, Lightnin' [AusführendeR]; Stewart, Rod [AusführendeR]; Hooker, John Lee [AusführendeR]; King, Freddie [AusführendeR]; Milburn, Amos [AusführendeR]; Memphis Slim [AusführendeR]; Dixon, Floyd [AusführendeR]; Washington, Dinah [AusführendeR]; McDowell, Fred [AusführendeR] ; Sonny Terry & Brownie McGhee Musikgruppe, Jeff Beck Group, Canned Heat Musikgruppe, Dr. Feelgood Musikgruppe

    The Original Blues Album : classic Blues from the original stars (1 CD)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: EMI Rec., P 2005

    Erschienen in: EMI Gold

  11. Jones, Cliff B. [VerfasserIn] ; Pihlajasaari, Pekka [HerausgeberIn]; Sun, Jun [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8442

  12. Jones, Cliff B. [VerfasserIn] ; Lloyd, John L. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6875

  13. Fitzgerald, John [VerfasserIn] ; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Lucas, Peter [Sonstige Person, Familie und Körperschaft]

    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1313

  14. Burns, A. [VerfasserIn]; Jones, Cliff B. [VerfasserIn]

    An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    LIPIcs - Leibniz International Proceedings in Informatics. 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022

  15. Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4700

  16. Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4711

  17. Butler, Michael [Sonstige Person, Familie und Körperschaft]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]

    Rigorous Development of Complex Fault-Tolerant Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4157

  18. Abdallah, Ali E. [Sonstige Person, Familie und Körperschaft]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Sanders, Jeff W. [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3525

  19. Bjorner, Dines [VerfasserIn] ; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Mac An Airchinnigh, Michael [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]

    VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1987

    Erschienen in: Lecture notes in computer science ; 252

  20. Bundy, Alan [VerfasserIn]; Hutter, Dieter [VerfasserIn]; Jones, Cliff B. [VerfasserIn]; Moore, J Strother [VerfasserIn] ; Alan Bundy and Dieter Hutter and Cliff B. Jones and J Strother Moore [MitwirkendeR]

    AI meets Formal Software Development (Dagstuhl Seminar 12271)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 2, Issue 7, 2012