Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Optischer Zustand
Beschreibung
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 Dieses Produkt haben wir gerade leider nicht auf Lager.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
19.05.2026
Sprache
Englisch
EAN
9783032267429
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Lecture Notes in Computer Science
Sonderedition
Nein
Seitenanzahl
147
Einbandart
Broschiert
Buch Untertitel
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Schlagwörter
Abstract Data Types, Alloy, Automatic Assessment, B-Method, Deductive Verification, Formal Methods Education, Hackathon, Mathematical Reasoning, Model Checking, Open data, Project-Based Learning, Refinement, Semantics, Software Verification, Specification Challenges, Structural Induction, Student Experiments, Teaching Feedback, Unifying Theories of Programming
Thema-Inhalt
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UYQ - Künstliche Intelligenz
UYQL - Natürliche Sprachen und maschinelle Übersetzung
UXJ - Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften
UMZ - Software Engineering
UK - Computerhardware
Höhe
235 mm
Breite
15.5 cm
Hersteller: Springer Nature Customer Service Center GmbH, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Sicher bei rebuy kaufen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!
Sicher bei rebuy kaufen