"Yassine Lakhnech" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal TechniAuthor: Y Lakhnech; Sergio Yovine

Yassine Lakhnech, Sergio Yovine

14.07 Mb

#2

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of

Yassine Lakhnech, Sergio Yovine

4.53 Mb