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)
Комментарии