Bernd-Holger Schlingloff – författare
Visar alla böcker från författaren Bernd-Holger Schlingloff.
5 produkter
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
1159 kr
Lägg i varukorg
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
869 kr
Lägg i varukorg
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Av Bernd-Holger Schlingloff, Ming Chai
Häftad, 2022
949 kr
Lägg i varukorg
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Av Bernd-Holger Schlingloff, Thomas Vogel m. fl.
Inbunden, 2023
2319 kr
Lägg i varukorg
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Av Bernd-Holger Schlingloff, Thomas Vogel m. fl.
Häftad, 2024
2319 kr
Lägg i varukorg