Bernd-Holger Schlingloff

Bernd-Holger Schlingloff

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13550

Editat de Bernd-Holger Schlingloff et al.

21 sep 2022

Preț: 391^.73 lei 489^.67 lei

3-5 săpt. | 7-13 zile

-20%

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Studies in Computational Intelligence, nr. 1091

Editat de Bernd-Holger Schlingloff et al.

6 mai 2024

Preț: 1004^.46 lei 1255^.58 lei

38-44 zile

-20%

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Texts in Theoretical Computer Science. An EATCS Series

Autor Markus Roggenbach et al.

24 iun 2023

Preț: 359^.44 lei 449^.31 lei

6-8 săpt. | 7-13 zile

-20%