Verwandte Artikel zu Formal Methods Teaching: 6th Formal Methods Teaching...
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939, Band 14939) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods Teaching: 6th Formal Methods Teaching...
Beispielbild für diese ISBN
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings: 14939 (Lecture Notes in Computer Science, 14939) (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers WZOHMFFZWB
Neu kaufen
EUR 36,62
EUR 4,00 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching
Anbieter: Hamelyn, Madrid, M, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: Muy bueno. : 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. EAN: 9783031713781 Tipo: Libros Categoría: Tecnología|Educación|Ciencias Título: Formal Methods Teaching Autor: Emil Sekerinski| Leila Ribeiro Editorial: Springer Idioma: en Páginas: 152 Formato: tapa blanda. Bestandsnummer des Verkäufers Happ-2026-03-24-758b0e07
Gebraucht kaufen
EUR 31,03
EUR 12,99 Versand
Versand von Spanien nach USA
Versand von Spanien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 48354301-n
Neu kaufen
EUR 49,05
EUR 2,28 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Bestandsnummer des Verkäufers POD-378015
Beispielbild für diese ISBN
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 48354301
Gebraucht kaufen
EUR 49,64
EUR 2,28 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031713781_new
Neu kaufen
EUR 44,66
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 48354301-n
Neu kaufen
EUR 44,65
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods Teaching
Verlag:
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031713788
ISBN 13: 9783031713781
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning. 141 pp. Englisch. Bestandsnummer des Verkäufers 9783031713781
Neu kaufen
EUR 40,65
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 2024th edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26402775764
Neu kaufen
EUR 60,89
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 410411275
Neu kaufen
EUR 59,43
EUR 7,61 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar