Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
tarafından
 
Craigen, Dan, 1953-

Başlık
: 
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

Yazar
: 
Craigen, Dan, 1953-

ISBN
: 
9781437728170

Fiziksel Tanımlama
: 
1 online resource (xii, 306 pages)

Seri
: 
Advanced computing and telecommunications series

Seri Başlığı
: 
Advanced computing and telecommunications series

Konu Terimleri
: 
System design.
 
System analysis.

Yazar Ek Girişi
: 
Gerhart, Susan L.
 
Ralston, Theodore L.

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629


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