설명
This collection celebrates Egon Börger's contributions to software engineering and theoretical computer science, compiling 14 insightful essays that reflect the rigors of software construction and analysis. Experts from various fields come together to present their latest research, showcasing the interplay between abstract theory and practical application.
Each paper delves into crucial aspects of software methodologies, often drawing inspiration from Börger’s influential work. As the authors explore advanced concepts, they highlight challenges and innovative solutions within the realm of software development.
The volume serves not only as a tribute to Börger's legacy but also as a valuable resource for researchers and practitioners aiming to enhance their understanding of formal methods and their implementation in real-world scenarios.
Each paper delves into crucial aspects of software methodologies, often drawing inspiration from Börger’s influential work. As the authors explore advanced concepts, they highlight challenges and innovative solutions within the realm of software development.
The volume serves not only as a tribute to Börger's legacy but also as a valuable resource for researchers and practitioners aiming to enhance their understanding of formal methods and their implementation in real-world scenarios.
책 세부 정보
형식
페이퍼백
페이지
251 페이지
언어
영어
출판됨
Jan 20, 2010
출판사
Springer
ISBN-10
3642114466
ISBN-13
9783642114465