Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
Author:   Philipp Rümmer ,  Zhilin Wu
Publisher:   Springer International Publishing AG
Volume:   15841
ISBN:  

9783031982071


Pages:   400
Publication Date:   14 July 2025
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $155.22 Quantity:  
Add to Cart

Share |

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


Overview

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.

Full Product Details

Author:   Philipp Rümmer ,  Zhilin Wu
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15841
ISBN:  

9783031982071


ISBN 10:   303198207
Pages:   400
Publication Date:   14 July 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGFEB26

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now