door Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Formal Methods Teaching» bevat de proceedings van de FMTea 2024-workshop, onder redactie van Emil Sekerinski en Leila Ribeiro (Springer, paperback, 152 pagina's, in het Engels).
Het bundelt zeven volledige artikelen en een uitgenodigde lezing van de FMTea 2024-workshop, gehouden in Milaan op 10 september 2024. De bijdragen behandelen het onderwijzen en zelfstudie van formele methoden: logica, softwareverificatie, systeemontwerp, software-engineering en kunstmatige intelligentie in het technisch onderwijs.
Het komt overeen met deel 14939 van de serie Lecture Notes in Computer Science (LNCS); Engelse editie gepubliceerd door Springer in 2024.
Voor docenten en onderzoekers in de computerwetenschappen en software-engineering die formele methoden willen onderwijzen.
