Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Safety of computer architectures için kapak resmi
      1. 
      Safety of computer architectures
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Alıntı: 
      Safety of computer architectures Boulanger, Jean-Louis.
      Static analysis of software the abstract interpretation için kapak resmi
      2. 
      Static analysis of software the abstract interpretation
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Alıntı: 
      Static analysis of software the abstract interpretation / Boulanger, Jean-Louis.
      Safety management for software-based equipment için kapak resmi
      3. 
      Safety management for software-based equipment
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Alıntı: 
      Safety management for software-based equipment Boulanger, Jean-Louis.
      Formal method industrial use from model to the code için kapak resmi
      4. 
      Formal method industrial use from model to the code
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Alıntı: 
      Formal method industrial use from model to the code / Boulanger, Jean-Louis.
      Certifiable software applications. 3, Downward cycle için kapak resmi
      5. 
      Certifiable software applications. 3, Downward cycle
      by 
      Boulanger, Jean-Louis, author.
      Click to View
      Format: 
      Alıntı: 
      Certifiable software applications. 3, Downward cycle / Boulanger, Jean-Louis, author.
      Certifiable software applications. 2, Support processes için kapak resmi
      6. 
      Certifiable software applications. 2, Support processes
      by 
      Boulanger, Jean-Louis, author.
      Click to View
      Format: 
      Alıntı: 
      Certifiable software applications. 2, Support processes / Boulanger, Jean-Louis, author.
      Certifiable software applications 1 : main processes için kapak resmi
      7. 
      Certifiable software applications 1 : main processes
      by 
      Boulanger, Jean-Louis, author.
      Click to View
      Format: 
      Alıntı: 
      Certifiable software applications 1 : main processes / Boulanger, Jean-Louis, author.
      Formal methods applied to complex systems için kapak resmi
      8. 
      Formal methods applied to complex systems
      by 
      Boulanger, Jean-Louis, editor.
      Click to View
      Format: 
      Alıntı: 
      Formal methods applied to complex systems / Boulanger, Jean-Louis, editor.
      CENELEC 50128 and IEC 62279 standards için kapak resmi
      9. 
      CENELEC 50128 and IEC 62279 standards
      by 
      Boulanger, Jean-Louis, author.
      Click to View
      Format: 
      Alıntı: 
      CENELEC 50128 and IEC 62279 standards / Boulanger, Jean-Louis, author.
      Formal methods applied to complex systems : implementation of the B method için kapak resmi
      10. 
      Formal methods applied to complex systems : implementation of the B method
      by 
      Boulanger, Jean-Louis, editor.
      Click to View
      Format: 
      Alıntı: 
      Formal methods applied to complex systems : implementation of the B method / Boulanger, Jean-Louis
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page