Bernd-Holger Schlingloff – författare

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
AvMarkus Roggenbach,Antonio Ceronem. fl.
Inbunden, Engelska, 2022
719 kr
Skickas inom 5-8 vardagar
Formal Methods for Software Engineering
Languages, Methods, Application Domains
AvMarkus Roggenbach,Antonio Ceronem. fl.
Häftad, Engelska, 2023
549 kr
Skickas inom 5-8 vardagar
Del 13550
Del 13550 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
AvBernd-Holger Schlingloff,Ming Chai
Häftad, Engelska, 2022
969 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
AvBernd-Holger Schlingloff,Thomas Vogelm. fl.
Inbunden, Engelska, 2023
2 359 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
AvBernd-Holger Schlingloff,Thomas Vogelm. fl.
Häftad, Engelska, 2024
2 359 kr
Skickas inom 10-15 vardagar