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
tarafından
 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

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

Edisyon
1st ed. 2019.

Fiziksel Niteleme
XVI, 245 p. 545 illus., 53 illus. in color. online resource.

Seri
Theoretical Computer Science and General Issues ; 11758

İçindekiler
Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.

Özet
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

Konu Başlığı
Mathematical logic.
 
Programming languages (Electronic computers).
 
Software engineering.
 
Artificial intelligence.
 
Computer logic.
 
Algorithms.
 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048
 
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037
 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
 
Logic in AI. https://scigraph.springernature.com/ontologies/product-market-codes/I21020
 
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product-market-codes/I16021

Yazar Ek Girişi
Dongol, Brijesh.
 
Petre, Luigia.
 
Smith, Graeme.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-030-32441-4


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book428756-1001QA8.9 -10.3Springer E-Book Collection