Suchergebnisse - Jones, Cliff B. 1944-

  • Treffer 1 – 18 von 18
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Understanding Programming Languages
    von Jones, Cliff B. 1944-

    Veröffentlicht 2020
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Understanding programming languages
    von Jones, Cliff B. 1944-

    Veröffentlicht 2020
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2003
    Paper


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Jones, Cliff B. 1944- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2010
    Weitere beteiligte Personen: “… Jones, Cliff B. 1944- …”
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1992
    Weitere beteiligte Personen: “… Jones, Cliff B. 1944- …”
    Tagungsbericht Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Jones, Cliff B. 1944- …”
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Theories of programming: the life and works of Tony Hoare

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Jones, Cliff B. 1944- …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: