Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Iste ;', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal methods : industrial use from model to the code /
    Έκδοση 2012
    “…ISTE ; Wiley,…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  2. 2
    Formal methods applied to complex systems : implementation of the B Method /
    Έκδοση 2014
    “…ISTE ; Wiley,…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  3. 3
    CENELEC 50128 and IEC 62279 standards /
    ανά Boulanger, Jean-Louis
    Έκδοση 2015
    “…ISTE ; Wiley,…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  4. 4
    Industrial used of formal method : formal verification /
    Έκδοση 2012
    “…ISTE ;…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  5. 5
    Static analysis of software : the abstract interpretation /
    Έκδοση 2012
    “…ISTE/Wiley,…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  6. 6
    Formal methods applied to industrial complex systems /
    Έκδοση 2014
    “…ISTE, Ltd. ; Wiley,…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 7
    Safety management for software-based equipment /
    ανά Boulanger, Jean-Louis
    Έκδοση 2013
    “…ISTE, Ltd. ;…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email