Read Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop,

0 просмотров 19.07.2016 00:00:26

Описание

Read Book Online Now ezbooks.site/?book=3540660100 Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science)

Комментарии

Теги:
Read, Formal, Methods, Real, Time, Probabilistic, Systems, International, AMAST, Workshop