Artículos relacionados a Theoretical Aspects of Software Engineering: 19th Internatio...
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.
The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.
The papers present the latest developments in formal and theoretical software engineering methods and techniques.
They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 82,50
EUR 17,07 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 58,86
EUR 2,00 gastos de envío desde Irlanda a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Theoretical Aspects of Software Engineering: 19th Internatio...
Imagen de archivo
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783031982071
Cantidad disponible: 15 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783031982071
Cantidad disponible: 15 disponibles
Imagen del vendedor
Theoretical Aspects of Software Engineering
Publicado por
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
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 refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14 16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis. 384 pp. Englisch. Nº de ref. del artículo: 9783031982071
Cantidad disponible: 2 disponibles
Imagen del vendedor
Theoretical Aspects of Software Engineering : 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14 16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis. Nº de ref. del artículo: 9783031982071
Cantidad disponible: 1 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings (Lecture Notes in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783031982071
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering : 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14?16, 2025, 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: 50571621-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: Z38UHRGREB
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering : 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14?16, 2025, 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: 50571621
Cantidad disponible: 15 disponibles
Imagen del vendedor
Theoretical Aspects of Software Engineering
Publicado por
Springer Nature Switzerland, Springer Nature Switzerland Jul 2025, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 416 pp. Englisch. Nº de ref. del artículo: 9783031982071
Cantidad disponible: 1 disponibles
Imagen de archivo
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings (Lecture Notes in Computer Science, 15841)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26404415525
Cantidad disponible: 4 disponibles