Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Brijesh Dongol

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: Lecture Notes in Computer Science, cartea 11758

Editat de Brijesh Dongol, Luigia Petre, Graeme Smith
en Limba Engleză Paperback – 16 oct 2019
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31817 lei

Preț vechi: 39771 lei
-20%

Puncte Express: 477
Preț estimativ în valută:
5632€ • 6542$ • 4879£

Carte tipărită la comandă

Livrare economică 02-16 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030324407
ISBN-10: 3030324400
Pagini: 245
Ilustrații: XVI, 245 p. 545 illus., 53 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.37 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

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