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