Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
tarafından
 
Jansen, David N. editor. (orcid)0000-0002-6636-3301

Başlık
: 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar
: 
Jansen, David N. editor. (orcid)0000-0002-6636-3301

ISBN
: 
9783030001513

Basım Bilgisi
: 
1st ed. 2018.

Fiziksel Tanımlama
: 
X, 289 p. 59 illus. online resource.

Seri
: 
Theoretical Computer Science and General Issues ; 11022

Konu Terimleri
: 
Computer software.
 
Logic design.
 
Computer science.
 
Software engineering.
 
Computer simulation.
 
Artificial intelligence.

Yazar Ek Girişi
: 
Jansen, David N.
 
Prabhakar, Pavithra.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-030-00151-3


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