База данных переводных книг

Не является библиотекой. Полнотекстовый доступ к изданиям не предоставляется.

Кларк, Э. М. мл., Грамберг, О., Пелед, Д. Верификация моделей программ: Model checking. Пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова, Р. Смелянского. – М.: МЦНМО, 2002. – 416 c. Clark E. M., Jr., Grumberg O, Peled D. Model checking. Cambridge, MIT Press Publ., 1999. 314 p. (Russ. ed.: Clark, E. M., Jr., Grumberg, O, Peled, D. Verifikatsiya modeley programm: Model checking. Moscow: Moscow Center for Continuous Mathematical Education, 2002. 416 p.).
Авторы: Кларк, Э. М. мл., Грамберг, О., Пелед, Д. / Clark E. M., Jr., Grumberg O, Peled D.
Год издания: 2002
Издательство: МЦНМО
Место издания: М.
Перевод с англ.