Formal method industrial use from model to the code /

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: ebrary, Inc
Diğer Yazarlar: Boulanger, Jean-Louis
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Seri Bilgileri:Industrial implementation of formal methods series.
Konular:
Online Erişim:An electronic book accessible through the World Wide Web; click to view
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!