Cover: Formal Methods Teaching (E-Book) von Gustavo Carvalho
NEU
Gustavo Carvalho

Teil der Reihe: Springer Nature Proceedings Computer Science

Formal Methods Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Angebot€53,49
inkl. MwSt. • Kein physischer Versand
Sofort per Download lieferbar
Nach dem Kauf direkt als Download verfügbar.
E-Book
eBook-Format:PDF

Benachrichtigung aktivieren

Wir informieren Sie per E-Mail, sobald dieses Produkt wieder verfügbar ist.

Inhaltsangabe

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.

The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

Produktdetails
  • Erscheinungsdatum: 18.05.2026
  • Autor/Autorin: Gustavo Carvalho
  • Format: E-Book
  • Dateiformat: PDF
  • Kopierschutz: Wasserzeichen
  • Dateigröße: 10.4 MB
  • Verlag: SPRINGER
  • Sprache: Englisch
  • Umfang: 147 Seiten
  • ISBN: 9783032267436
  • Lieferung: Sofort per Download
  • Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
  • Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.
Herstellerinformationen
Springer Nature Customer Service Center GmbH

Email: ProductSafety@springernature.com

Wird oft zusammen gekauft

Cover: Turnpike Phenomenon for Markov Decision Processes (E-Book) von Alexander J. Zaslavski
Alexander J. Zaslavski
Turnpike Phenomenon for Markov Decision Processes Angebot€53,49
Cover: Mathematik – einfach genial! (E-Book) von Heinz Klaus Strick
Heinz Klaus Strick
Mathematik - einfach genial! Angebot€29,99
Cover: Conjugacy in Finite Classical Groups (E-Book) von Giovanni De Franceschi
Giovanni De Franceschi
Conjugacy in Finite Classical Groups Angebot€128,39
Cover: Varieties of Nodal Surfaces, Coding Theory and Discriminants of Cubic Hypersurfaces (E-Book) von Fabrizio Catanese
Fabrizio Catanese
Varieties of Nodal Surfaces, Coding Theory and Discriminants of Cubic Hypersurfaces Angebot€117,69
Cover: Theory and Methods of Optimisation (E-Book) von Andrea Carpignani
Andrea Carpignani
Theory and Methods of Optimisation Angebot€64,19
Cover: The Essentials of Measure Theory (E-Book) von Carlos S. Kubrusly
Carlos S. Kubrusly
The Essentials of Measure Theory Angebot€53,49
Cover: Tantrasaṅgraha of Nīlakaṇṭha Somayājī (E-Book) von K. Ramasubramanian
K. Ramasubramanian
Tantrasaṅgraha of Nīlakaṇṭha Somayājī Angebot€192,59
Cover: Statistical Design and Analysis of Biological Experiments (E-Book) von Hans-Michael Kaltenbach
Hans-Michael Kaltenbach
Statistical Design and Analysis of Biological Experiments Angebot€117,69
Cover: Representations of SL2 (E-Book) von Cédric Bonnafé
Cédric Bonnafé
Representations of SL2 Angebot€58,84
Cover: Quantitative Frontiers (E-Book)
Avishek Adhikari
Quantitative Frontiers Angebot€149,79