Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
9 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Robot framework test automation için kapak resmi
      1. 
      Robot framework test automation
      by 
      Bisht, Sumit.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Dependable software systems engineering için kapak resmi
      2. 
      Dependable software systems engineering
      by 
      Irlbeck, Maximilian, editor.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.
      Engineering dependable software systems için kapak resmi
      3. 
      Engineering dependable software systems
      by 
      NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.
      Software safety and security tools for analysis and verification için kapak resmi
      4. 
      Software safety and security tools for analysis and verification
      by 
      NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.
      The software audit guide için kapak resmi
      5. 
      The software audit guide
      by 
      Helgeson, John W., 1945- author.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Principles of model checking için kapak resmi
      6. 
      Principles of model checking
      by 
      Baier, Christel.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Metamodeling-driven IP reuse for SoC integration and microprocessor design için kapak resmi
      7. 
      Metamodeling-driven IP reuse for SoC integration and microprocessor design
      by 
      Mathaikutty, Deepak A.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi
      8. 
      Verification of systems and circuits using LOTOS, Petri Nets, and CCS
      by 
      Yoeli, Michael, 1917-
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Verification of infinite-state systems with applications to security için kapak resmi
      9. 
      Verification of infinite-state systems with applications to security
      by 
      NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.