KI-Beratung Beta

  • Produktbild: Formal Methods – Fun for Everybody
  • Produktbild: Formal Methods – Fun for Everybody
Band 1301

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.03.2021

Abbildungen

IX, 227 p. 34 illus., 21 illus. in color.

Herausgeber

Antonio Cerone + weitere

Verlag

Springer

Seitenzahl

227

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-71373-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.03.2021

Abbildungen

IX, 227 p. 34 illus., 21 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

227

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-71373-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods – Fun for Everybody
  • Produktbild: Formal Methods – Fun for Everybody
  • Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper.- Axiom Based Testing for Fun and Pedagogy.- Teaching Formal Methods for Fun Using Maude.- Fun with Formal Methods for Better Education.- Adapting to Different Types of Target Audience in Teaching Formal Methods.- Prototyping Games using Formal Methods.- Teaching Model Checking via Games and Puzzles.- Formal Methods and Cybersecurity Education.- Teaching Them Early: Formal Methods in School.- From Stories to Concurrency: How Children Can Play with Formal Methods.- When the Student becomes the Teacher.- Teaching formal methods in academia: a systematic literature review.