Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mce.biophys.msu.ru/eng/books/book42776/
Дата изменения: Mon Apr 11 16:52:00 2016
Дата индексирования: Mon Apr 11 16:52:00 2016
Кодировка: UTF-8

Books : Верификация моделей программ: Model checking

Русский

Центр национального интеллектуального резерва МГУ имени М.В. Ломоносова

AllConferences.Com: Directory of Conferences, conventions, exhibits, seminars, workshops, events, trade shows and business meetings. Includes calendar, dates, location, web site, contact and registration information.

!	Вопросы и ответы

Books

Кларк Э.М. Мл., Грамберг О, Пелед Д.

Верификация моделей программ: Model checking

Москва: Московский центр непрерывного математического образования, 2002. 416 pages (hardcover)

ISBN 978-5-94057-054-7

Approximate price in Conference bookstall 330 roubles.

You need to submit Conference application first to order books to Conference bookstall. If you have already registered just enter your username and password.