Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Theoretical Aspects of Software Engineering: 19th Internatio...
Stock Image
Theoretical Aspects of Software Engineering (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # Z38UHRGREB
Buy New
£ 59.16
£ 5.90 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Software Engineering
Published by
Springer, Springer Jul 2025, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. 416 pp. Englisch. Seller Inventory # 9783031982071
Stock Image
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings (Lecture Notes in Computer Science, 15841)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404415525
Seller Image
Theoretical Aspects of Software Engineering
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 2448125942
Buy New
£ 62.82
£ 42.49 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings (Lecture Notes in Computer Science, 15841)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409820154
Buy New
£ 101.36
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Theoretical Aspects of Software Engineering (Paperback)
Published by
Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1416, 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031982071
Buy New
£ 71.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings (Lecture Notes in Computer Science, 15841)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18404415535
Stock Image
Theoretical Aspects of Software Engineering: 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14 16, 2025, Proceedings
Published by
Springer-Nature New York Inc, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 413 pages. 9.26x6.11x9.21 inches. In Stock. Seller Inventory # x-303198207X
Buy New
£ 102.69
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Theoretical Aspects of Software Engineering
Published by
Springer, Springer Jul 2025, 2025
ISBN 10: 303198207X
ISBN 13: 9783031982071
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 1416, 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch. Seller Inventory # 9783031982071
Seller Image
Theoretical Aspects of Software Engineering | 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Theoretical Aspects of Software Engineering | 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings | Philipp Rümmer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2025 | Springer | EAN 9783031982071 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 133644988