ISBN 9780262527668 books & textbook

Dynamic Logic (Foundations of Computing)

Harel, David Kozen, Dexter Tiuryn, Jerzy

MIT Press /2000-09-29 Paperback / 476 Pages
isbn-10: 0262527669 / isbn-13: 9780262527668