Pensum -10%
Theoretical Aspects of Software Engineering
Wei-Ngan Chin, Zhiwu Xu
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Theoretical Aspects of Software Engineering
Redigert av Philipp Rümmer, Zhilin Wu, 2025.Del av serien Lecture Notes in Computer Science.
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
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.
PocketEngelsk
Normalpris: 879,-
791,-
Spar 88,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Oppdag mer
Theoretical Aspects of Software Engineering
Redigert av Philipp Rümmer, Zhilin Wu, 2025.Del av serien Lecture Notes in Computer Science.
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
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.
Oppdag mer
Normalpris: 879,-
791,-
Spar 88,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
791,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
