Литмир - Электронная Библиотека
Название книгиНазвание книгиОценкаОценкаКол-во оценокCтатусДата добавленияAdd time stampЖанрСтр./Год/ЯзыкСтраницСерияГодЯзыкДобавил
Abstraction Refinement for Large Scale Model Checking0 (0) 0027.03.2010,
03:11
1269659518Иностранная литература0/-/EN0EN
{"id":"180027","o":50}