Treffer 1 – 18 von 18 für Suche 'Jones, Cliff B. 1944-', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Understanding Programming Languages

    Understanding Programming Languages von Jones, Cliff B. 1944-

    Veröffentlicht 2020
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Software development: a rigorous approach

    Software development: a rigorous approach von Jones, Cliff B. 1944-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  3. 3
    Systemic software development using VDM

    Systemic software development using VDM von Jones, Cliff B. 1944-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Specifications are not (necessarily) executable

    Specifications are not (necessarily) executable von Hayes, Ian J., Jones, Cliff B. 1944-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Systematic software development using VDM

    Systematic software development using VDM von Jones, Cliff B. 1944-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Understanding programming languages

    Understanding programming languages von Jones, Cliff B. 1944-

    Veröffentlicht 2020
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Program specification and verification in VDM

    Program specification and verification in VDM von Jones, Cliff B. 1944-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Formal specification and software development

    Formal specification and software development von Bjørner, Dines 1937-, Jones, Cliff B. 1944-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The early search for tractable ways of reasoning about programs

    The early search for tractable ways of reasoning about programs von Jones, Cliff B. 1944-

    Veröffentlicht 2003

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Systematic software development using VDM

    Systematic software development using VDM von Jones, Cliff B. 1944-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Modularizing the formal description of a database system

    Modularizing the formal description of a database system von Fitzgerald, John S., Jones, Cliff B. 1944-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Systematic software development using VDM

    Systematic software development using VDM von Jones, Cliff B. 1944-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Formal specification and software development

    Formal specification and software development von Bjørner, Dines 1937-, Jones, Cliff B. 1944-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Symposium on real-time and hybrid systems essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday

    Symposium on real-time and hybrid systems essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday

    Veröffentlicht 2018
    Weitere Verfasser: “… Jones, Cliff B. 1944- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Reflections on the Work of C.A.R. Hoare

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

    Veröffentlicht 2010
    Weitere Verfasser: “… Jones, Cliff B. 1944- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Proceedings of the 5th Refinement Workshop London, 8 - 10 January 1992

    Proceedings of the 5th Refinement Workshop London, 8 - 10 January 1992

    Veröffentlicht 1992
    Weitere Verfasser: “… Jones, Cliff B. 1944- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Symposium on real-time and hybrid systems essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday

    Symposium on real-time and hybrid systems essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday

    Veröffentlicht 2018
    Weitere Verfasser: “… Jones, Cliff B. 1944- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Theories of programming the life and works of Tony Hoare

    Theories of programming the life and works of Tony Hoare

    Veröffentlicht 2021
    Weitere Verfasser: “… Jones, Cliff B. 1944- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: