Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
tarafından
Dubois, Catherine. editor.
Başlık
:
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Yazar
:
Dubois, Catherine. editor.
ISBN
:
9783031275340
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
IX, 105 p. 69 illus., 20 illus. in color. online resource.
Seri
:
Lecture Notes in Computer Science, 13962
İçerik
:
Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets.
Yazar Ek Girişi
:
Dubois, Catherine.
San Pietro, Pierluigi.
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 | 520888-1001 | ONLINE | | Elektronik Kütüphane |