Nimm drei und bezahle nur zwei mit dem Gutschein DREIFACH
Hamelyn
Formal Methods Teaching
Formal Methods Teaching
Von Hand geprüft
Kostenloser Versand
Zweites Leben
Tecnología

Formal Methods Teaching

von Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · 152 Seiten

7 Personen sehen dies0 mal angesehen
Seiten: 152 SeitenAutor: Emil Sekerinski, Leila RibeiroVerlag: SpringerFormat: tapa blandaSprache: enErscheinungsdatum: 9/10/2024ISBN: ISBN 9783031713781

Wähle den Zustand

Was jeder Zustand beinhaltet
AkzeptabelSichtbare Spuren am Cover. Inhalt vollständig, intakt und geprüft.
GutLeichte Spuren am Cover. Saubere Seiten und Rücken in gutem Zustand.
Sehr gutKaum sichtbare Spuren. Innen makellos. Fast keine Gebrauchsspuren.
NeuwertigKeine sichtbaren Spuren. Cover, Rücken und Seiten makellos.
NeuNeues Buch, ungebraucht. Direkt vom Verlag bestellt.

Der Zustand Neu wird nur nach Deutschland versendet, mit kostenlosem Versand ab 15 €. Alle anderen Zustände haben immer kostenlosen Versand ohne Mindestbestellwert.

* Alle unsere Produkte werden sorgfältig geprüft, um eine nachhaltige Kultur zu fördern.

Hamelyn Qualitätsgarantie

Jedes Produkt wird vor dem Versand geprüft, gereinigt und verifiziert. Wenn es nicht Ihren Erwartungen entspricht, erstatten wir Ihnen das Geld.


Inhaltsangabe von Formal Methods Teaching

Este libro constituye las actas del 6.º Taller Internacional sobre Enseñanza de Métodos Formales (FMTea 2024), celebrado en Milán, Italia, el 10 de septiembre de 2024. La obra presenta una selección de artículos de investigación revisados por expertos que se centran en el aprendizaje y la instrucción de métodos formales, abarcando desde la teoría lógica hasta su aplicación práctica en la ingeniería de software y la educación en ciencias de la computación. Como parte de la prestigiosa serie Lecture Notes in Computer Science (LNCS 14939), este volumen incluye siete artículos completos y una charla invitada. Es un recurso esencial para académicos, investigadores y profesionales interesados en las metodologías de enseñanza para la verificación de software, el diseño de sistemas y la aplicación de la inteligencia artificial en entornos educativos técnicos.



Weitere Titel für Fans von Emil Sekerinski, Leila Ribeiro

Von Julia empfohlen
MultiMedia Modeling

MultiMedia Modeling

Autor: Ichiro Ide, Ioannis Kompatsiaris, Changsheng Xu, Keiji Yanai, Wei-Ta Chu, Naoko Nitta, Michael Riegler, Toshihiko Yamasaki

35,48€72,88€
1 verfügbares Angebot

Meistverkaufte Bücher in Software-Engineering

Bestseller
Alle ansehen
Nimm 3 und zahle nur 2 · DREIFACH
-
MwSt. inbegriffen