A really temporal logic
Rajeev Alur, T A Henzinger, Stanford University. Computer Science DepartmentРік:
2007
Видання:
Lecture notes
Видавництво:
Dept. of Computer Science Stanford University
Мова:
english
Сторінки:
433
Серії:
Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267
Файл:
PDF, 2.32 MB
IPFS:
,
english, 2007
Amazon 
Barnes & Noble 
Bookshop.org
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
