The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh
Formal Methods for Software Engineering: Languages, Methods, Application Domains
epub
Author:
Markus Roggenbach
,
Antonio Cerone
,
Bernd-Holger Schlingloff
,
Gerardo Schneider
,
Siraj Ahmed Shaikh
Language:
English
Year:
2022
0
0
11.02.2025
0
0
Read online
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
pdf
Author:
Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh
Language:
English
Year:
2022
0
0
13.02.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через