Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Formal Methods Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods Teaching Gustavo Carvalho
Libristo-Code: 51764574
Verlag Springer, Berlin, Juli 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Vollständige Beschreibung
? points 125 b Neu Neu
50.99 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Buch Broschur
common.buy 77.29 €
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Buch Broschur
common.buy 15.19 €
Formación continua para empleados mayores: ¿una inversión sensata? / Buch Broschur
common.buy 38.79 €
Formación interdisciplinaria / Buch Broschur
common.buy 38.79 €
L'ANNEE SANS ETE T 01 LES FIANCAILLES AU BERCEAU LEMIEUX JULIE Buch binding.
common.buy 14.59 €
(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA / Buch Broschur
common.buy 12.39 €
Chen Chie-Jen MUSEO NACIONAL CENTRO DE ARTE REINA SOFíA / Buch Broschur
common.buy 12.99 €
Die Rechtfertigung Der Tabaksteuer Tillman Kempf / Buch Broschur
common.buy 85.90 €
Flow Mihaly Csikszentmihalyi / Buch Broschur
common.buy 14.49 €
Gerichtliche Schriftvergleichung Lothar Michel / Buch Hardcover
common.buy 139.95 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods Teaching
Autor Gustavo Carvalho, Tsutomu Kobayashi
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2026
Anzahl der Seiten 151
EAN 9783032267429
Libristo-Code 51764574
Verlag Springer, Berlin
Serie Lecture Notes in Computer Science
Gewicht 236
Abmessungen 155 x 235

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Natürliche Sprachen und maschinelle Übersetzung
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Angewandte Informatik > Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften
EDV und Informationstechnologie > Computerhardware
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Neu
Food Quality Analysis Sivanandham Vignesh / Buch Hardcover
common.buy 217.19 €
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Buch Broschur
common.buy 223.59 €
Top
Practice Makes Perfect: Basic Italian, Premium Third Edition Visconti / Buch Broschur
common.buy 15.79 €
Neu
Food Policy Councils Nessa J. Richman / Buch Broschur
common.buy 55.39 €
Folate targeting Agnes F. Vandome / Buch Broschur
common.buy 101.99 €
Demnächst Neu
On Location – Drawing the Outdoors Joachim Homann / Buch Hardcover
common.buy 39.79 €
Advances in Human Genetics 11 Harry Harris / Buch Broschur
common.buy 50.99 €
Top
The Good Life: Lessons from the World's Longest Scientific Study of Happiness Marc Schulz / Buch Hardcover
common.buy 20.79 €
Challenging Mazes for Kids: 75 Full-Color Mazes Including Find-The-Item and 3-D Fun! Rockridge Press / Buch Broschur
common.buy 8.49 €
Historic Movie Theatres of West Virginia Kelli Shapiro / Buch Broschur
common.buy 17.39 €
Sins of the Fathers Judith Liebaert / Buch Broschur
common.buy 12.19 €
Demnächst Neu
5 Disciplines Frances Pelzman / Buch Hardcover
common.buy 47.29 €
Demnächst Neu
Pushkin's Heroines and the Life-Art Connection / Buch Broschur
common.buy 42.49 €
Demnächst Neu
Linguistic and Philosophical Perspectives about Reference Lenny Clapp / Buch Broschur
common.buy 42.49 €
Neu
Chatbots and Human-Centered AI Asbjørn Følstad / Buch Broschur
common.buy 59.19 €
Neu
Public-Key Cryptography - PKC 2026 Shi Bai / Buch Broschur
common.buy 75.39 €
Modelling and Mining Networks Fan Chung Graham / Buch Broschur
common.buy 59.19 €
Neu
Public-Key Cryptography - PKC 2026 Shi Bai / Buch Broschur
common.buy 75.39 €
Neu
Public-Key Cryptography - PKC 2026 Shi Bai / Buch Broschur
common.buy 75.39 €
Rigorous State-Based Methods Fuyuki Ishikawa / Buch Broschur
common.buy 75.39 €
Demnächst Neu
Theory and Practice of Electronic Governance Olayinka David-West / Buch Broschur
common.buy 76.29 €
Neu
Structural Information and Communication Complexity Chryssis Georgiou / Buch Broschur
common.buy 75.39 €
Intelligent Human Computer Interaction Anshuman Shastri / Buch Broschur
common.buy 67.29 €
Intelligent Human Computer Interaction Anshuman Shastri / Buch Broschur
common.buy 83.49 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?