Suchergebnisse - Woodcock, Jim

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

    Using Z: specification, refinement, and proof
    von Woodcock, Jim, Davies, Jim

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Software engineering mathematics: formal methods demystified
    von Woodcock, Jim, Loomes, Martin

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Z: grammar and concrete and abstract syntaxes: (version 2.0)
    von King, Steve, Sørensen, Ib H., Woodcock, Jim

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Software engineering mathematics: formal methods demystified
    von Woodcock, Jim, Loomes, Martin

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Software engineering mathematics
    von Woodcock, Jim

    Veröffentlicht 1989
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Software engineering mathematics
    von Woodcock, Jim

    Veröffentlicht 1989
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Dependable software engineering: theories, tools, and applications : 7th international symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Woodcock, Jim …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Formal methods: foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers

    Veröffentlicht 2009
    Weitere beteiligte Personen: “… Woodcock, Jim 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Software Engineering for Robotics

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Woodcock, Jim …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Software engineering for robotics

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Woodcock, Jim …”
    Buch


    Gespeichert in:

Suchwerkzeuge: