Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings - Couverture souple

9783031982071: Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings

Couverture souple

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 82,29

16 Neuf

De EUR 58,86

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2025
Langue: anglais
ISBN 10: 303198207X
ISBN 13: 9783031982071
Reliure: Broch�
Nombre de pages: 416
�diteur: R�mmer Philipp, Wu Zhilin
Coordonn�es du fabricant: KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 82,29

Autre devise

EUR 17,03 exp�dition depuis Etats-Unis vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 58,86

Autre devise

EUR 3 exp�dition depuis Irlande vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Theoretical Aspects of Software Engineering: 19th Internatio...

Image d'archives

Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)

R?mmer, Philipp

Edit� par Springer, 2025

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur V9783031982071

Contacter le vendeur

Acheter neuf

EUR 58,86

Autre devise

Frais de port : EUR 3

De Irlande vers France

Destinations, frais et d�lais

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)

R�mmer, Philipp

Edit� par Springer, 2025

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Neuf Couverture souple

Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur V9783031982071

Contacter le vendeur

Acheter neuf

EUR 61,15

Autre devise

Frais de port : EUR 2,68

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Theoretical Aspects of Software Engineering : 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings

Zhilin Wu

Edit� par Springer Nature Switzerland, Springer Nature Switzerland, 2025

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031982071

Contacter le vendeur

Acheter neuf

EUR 70,61

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Theoretical Aspects of Software Engineering

Philipp R�mmer

Edit� par Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031982071

Contacter le vendeur

Acheter neuf

EUR 70,61

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Theoretical Aspects of Software Engineering

Zhilin Wu

Edit� par Springer Nature Switzerland, Springer Nature Switzerland Jul 2025, 2025

ISBN 10 : 303198207X ISBN 13 : 9783031982071

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031982071

Contacter le vendeur