Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
tarafından
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Başlık
:
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Yazar
:
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
ISBN
:
9783030324094
Basım Bilgisi
:
1st ed. 2019.
Fiziksel Tanımlama
:
XXI, 528 p. 491 illus., 73 illus. in color. online resource.
Seri
:
Programming and Software Engineering ; 11852
Konu Terimleri
:
Computers.
Artificial intelligence.
Software engineering.
Computer simulation.
Yazar Ek Girişi
:
Ait-Ameur, Yamine.
Qin, Shengchao.
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 | 484770-1001 | ONLINE | | Elektronik Kütüphane |