Hoppa till sidans huvudinnehåll

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

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

699 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

529 kr

Skickas inom 5-8 vardagar

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

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

AvBernd-Holger Schlingloff,Thomas Vogelm. fl.

Inbunden, Engelska, 2023

2 289 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 289 kr

Skickas inom 10-15 vardagar