Литмир - Электронная Библиотека
Название книгиНазвание книгиОценкаОценкаКол-во оценокCтатусДата добавленияAdd time stampЖанрСтр./Год/ЯзыкСтраницСерияГодЯзыкДобавил
Introduction to Practical Formal Methods Using Temporal Logic0 (0) 0002.04.2010,
01:56
1270169764Иностранная литература0/-/EN0EN
{"id":"225065","o":50}