![Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Başlık:
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Yazar:
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
ISBN:
9783030324414
Basım Bilgisi:
1st ed. 2019.
Fiziksel Tanımlama:
XVI, 245 p. 545 illus., 53 illus. in color. online resource.
Seri:
Theoretical Computer Science and General Issues ; 11758
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-32441-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 485700-1001 | ONLINE | Arıyor... | Arıyor... |