Hoppa till sidans huvudinnehåll

Bernd-Holger Schlingloff – författare

Visar alla böcker från författaren .
5 produkter
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

719 kr

Skickas inom 5-8 vardagar

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad

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

Bernd-Holger Schlingloff, Ming Chai - Software Engineering and Formal Methods, Häftad

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

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron - Concurrency, Specification and Programming, Inbunden

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 299 kr

Skickas inom 10-15 vardagar

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron - Concurrency, Specification and Programming, Häftad

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 299 kr

Skickas inom 10-15 vardagar