Cantitate/Preț
Produs

Formal Methods Teaching: 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ț: 32032 lei

Preț vechi: 40041 lei
-20%

Puncte Express: 480

Preț estimativ în valută:
5664 6546$ 4893£

Carte tipărită la comandă

Livrare economică 05-19 mai


Specificații

ISBN-13: 9783030324407
ISBN-10: 3030324400
Pagini: 264
Ilustrații: XVI, 245 p. 545 illus., 53 illus. in color.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:1st ed. 2019
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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