Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(17)
Computer software -- Verification.
(6)
Computer software -- Verification -- Congresses.
(4)
COMPUTERS -- Computer Literacy.
(2)
COMPUTERS -- Computer Science.
(2)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
18 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Verification and validation for quality of UML 2.0 models için kapak resmi
      1. 
      Verification and validation for quality of UML 2.0 models
      by 
      Unhelkar, Bhuvan
      Format: 
      Alıntı: 
      Computer software -- Verification
      Robot framework test automation için kapak resmi
      2. 
      Robot framework test automation
      by 
      Bisht, Sumit.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Dependable software systems engineering için kapak resmi
      3. 
      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
      4. 
      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
      5. 
      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
      6. 
      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
      7. 
      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
      8. 
      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
      9. 
      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
      10. 
      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.
      Co-verification of hardware and software for ARM SoC design için kapak resmi
      11. 
      Co-verification of hardware and software for ARM SoC design
      by 
      Andrews, Jason R.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Advances in computers. Volume 36 için kapak resmi
      12. 
      Advances in computers. Volume 36
      by 
      Yovits, M. C. (Marshall Clinton)
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121366
      Format: 
      Alıntı: 
      Zero defect software: cleanroom engineering--Role of verification in the software specification
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page