This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers.After foundational P...Loe edasi...
The Ada 2022 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2023(E) for the programming language Ada. The Ada 2022 Reference Manual combines all of the previous corrections with changes and additions tha...Loe edasi...
The Ada 2022 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2023(E) for the programming language Ada. The Ada 2022 Reference Manual combines all of the previous corrections with changes and additions tha...Loe edasi...
The Ada 2022 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2023(E) for the programming language Ada. The Ada 2022 Reference Manual combines all of the previous corrections with changes and additions tha...Loe edasi...
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfg...Loe edasi...
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were caref...Loe edasi...
(Ilmumisaeg: 21-Mar-2025, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662708095)
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and desi...Loe edasi...
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Techn...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Doc...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Doc...Loe edasi...
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Masters and later his Ph.D. from the University of Twente, and his Professional Docto...Loe edasi...
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The g...Loe edasi...
This volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while also offering strategic insights into mitigative measures and proactive solutions.The chapters...Loe edasi...
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, wit...Loe edasi...
This Festschrift reflects Professor Wang Yis contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991,...Loe edasi...
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24...Loe edasi...
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 21–25, 2025.The 51 regular papers presented together 24 tool papers, 4...Loe edasi...
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24...Loe edasi...
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24...Loe edasi...
