Erakusten 31 - 34 emaitzak -- 34 bilaketa honetara '"Formal methods (Computer science)."', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 31

    Object-oriented systems analysis and design using UML nork Bennett, Simon

    Argitaratua 2002
    Liburua

    Object-oriented systems analysis and design using UML
  2. 32

    Dynamic logic nork Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Argitaratua 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic
  3. 33

    On lazy soundness of robustness diagram with loop and time controls nork Afable, Mar Elden C.

    Thesis

    On lazy soundness of robustness diagram with loop and time controls
  4. 34

    A matrix representation for the verification of separability of robustness diagrams with loop and time controls nork Amancio, Joenne Mied G.

    Thesis

    A matrix representation for the verification of separability of robustness diagrams with loop and time controls

Bilaketa egiteko lanabesak: