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
by
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
Title
:
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
Author
:
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
ISBN
:
9783030324414
Edition
:
1st ed. 2019.
Physical Description
:
XVI, 245 p. 545 illus., 53 illus. in color. online resource.
Series
:
Theoretical Computer Science and General Issues ; 11758
Subject Term
:
Mathematical logic.
Programming languages (Electronic computers).
Software engineering.
Computer logic.
Algorithms.
Added Author
:
Dongol, Brijesh.
Petre, Luigia.
Smith, Graeme.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 485700-1001 | ONLINE | | Elektronik Kütüphane |