Hoppa till sidans huvudinnehåll

Bernd-Holger Schlingloff - Böcker

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 Cerone m. fl.

Inbunden, Engelska, 2022

659 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Cerone m. fl.

Häftad, Engelska, 2023

519 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

929 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 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

AvBernd-Holger Schlingloff,Thomas Vogel m. fl.

Häftad, Engelska, 2024

2 569 kr

Skickas inom 10-15 vardagar