The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
pdf
Author:
Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
pdf
Author:
Marcello M. Bonsangue (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
pdf
Author:
Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
Language:
English
Year:
2013
0
0
27.01.2024
3
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через