Electronic Documents Search

Documents found: 1

Creators	Harel David; Kozen Dexter; Tiuryn Jerzy
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2000
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информатика; динамическая логика; MIT Press eBooks Library
UDC	004; 510.643.5
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400