Real-Time Systems Formal Specification and Automatic Verification
tarafından
 
Olderog, Ernst-Rüdiger.

Başlık
: 
Real-Time Systems Formal Specification and Automatic Verification

Yazar
: 
Olderog, Ernst-Rüdiger.

ISBN
: 
9780511619953
 
9780521883337

Yayın Bilgileri
: 
Cambridge : Cambridge University Press, 2008

Fiziksel Tanımlama
: 
1 online resource (344 p.) : digital, PDF file(s).

Genel Not
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Konu Terimleri
: 
Real-time data processing.

Yazar Ek Girişi
: 
Olderog, Ernst-Rüdiger.
 
Dierks, Henning.

Elektronik Erişim
: 
Access by subscription


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