Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
tarafından
Tian, Cong. editor.
Başlık
:
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Yazar
:
Tian, Cong. editor.
ISBN
:
9783319901046
Basım Bilgisi
:
1st ed. 2018.
Fiziksel Tanımlama
:
X, 219 p. 66 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10795
Konu Terimleri
:
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Yazar Ek Girişi
:
Tian, Cong.
Nagoya, Fumiko.
Liu, Shaoying.
Duan, Zhenhua.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 400716-1001 | ONLINE | | Elektronik Kütüphane |