Bernd-Holger Schlingloff - Böcker

Visar alla böcker från författaren Bernd-Holger Schlingloff.

5 produkter

Kategorier

5 produkter

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Inbunden, Engelska, 2022

679 kr

Skickas inom 7-10 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Häftad, Engelska, 2023

519 kr

Skickas inom 7-10 vardagar

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, Engelska, 2022

939 kr

Skickas inom 10-15 vardagar

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, Engelska, 2023

2 569 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

2 569 kr

Skickas inom 10-15 vardagar