Formal Methods Teaching

E-Book (pdf)

(0)

Erste Bewertung abgeben

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the ...

CHF59.00

Download steht sofort bereit

E-Book (pdf)

Beschreibung

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.

Inhalt

Tutorial lectures.- Teaching Program Verification.- Teaching Program Development.- Effective Teaching Techniques.

Produktinformationen

Titel:

Formal Methods Teaching

Untertitel:

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

Editor:

Brijesh Dongol

Luigia Petre

Graeme Smith

EAN:

9783030324414

Format:

E-Book (pdf)

Hersteller:

Springer International Publishing

Genre:

IT & Internet