Dynamic logic

Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Publisher: MIT Press
Language: English
Edition: 1st
Year: 2000
Page: 476
ISBN: 9780262082891,0262082896,9781423728337
File Type: pdf
File Size: 2.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book