Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings: 14939 (Lecture Notes in Computer Science, 14939) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Formal Methods Teaching: 6th Formal Methods Teaching...
Imagen de archivo
Formal Methods Teaching
Librería: Hamelyn, Madrid, M, España
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: Happ-2026-03-24-758b0e07
Comprar usado
EUR 19,23
Envío por EUR 12,99
Se envía de España a Estados Unidos de America
Se envía de España a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings: 14939 (Lecture Notes in Computer Science, 14939) (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: WZOHMFFZWB
Comprar nuevo
EUR 36,62
Envío por EUR 4,00
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 48354301-n
Comprar nuevo
EUR 40,63
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 48354301
Comprar usado
EUR 47,80
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 48354301-n
Comprar nuevo
EUR 41,68
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. 2024th edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26402775764
Comprar nuevo
EUR 56,59
Envío por EUR 3,41
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 410411275
Comprar nuevo
EUR 55,59
Envío por EUR 7,45
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Formal Methods Teaching
Publicado por
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031713788
ISBN 13: 9783031713781
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783031713781
Comprar nuevo
EUR 40,65
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18402775774
Comprar nuevo
EUR 56,82
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 48354301
Comprar usado
EUR 49,72
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles