Model-Based Requirements Engineering
tarafından
 
Holt, Jon

Başlık
: 
Model-Based Requirements Engineering

Yazar
: 
Holt, Jon

ISBN
: 
9781849194884

Yayın Bilgileri
: 
Stevenage : IET, 2011.

Fiziksel Tanımlama
: 
1 online resource (340 p.)

Seri
: 
Professional Applications of Computing

Seri Başlığı
: 
Professional Applications of Computing

Konu Terimleri
: 
Automatic theorem proving.
 
Computer software--Reliability.
 
Computer software--Verification.
 
Logic.
 
System analysis.
 
System safety.

Yazar Ek Girişi
: 
Perry, Simon A
 
Brownsword, Mike

Elektronik Erişim
: 
http://dx.doi.org/10.1049/PBPC009E


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap247874-1001ONLINEElektronik Kütüphane