Paula Herber – författare
Visar alla böcker från författaren Paula Herber. Handla med fri frakt och snabb leverans.
4 produkter
Ernst Denert Award for Software Engineering 2022
Practice Meets Foundations
Av Eric Bodden, Michael Felderer m. fl.
Inbunden, 2024
569 kr
Lägg i varukorg
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Ernst Denert Award for Software Engineering 2022
Practice Meets Foundations
Av Eric Bodden, Michael Felderer m. fl.
Häftad, 2024
455 kr
Lägg i varukorg
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which …
Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Häftad, 2023
1355 kr
Lägg i varukorg
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses …
Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
E-bok, 2023
1780 kr
Lägg i varukorg
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses …
