Dynamic Logic (Foundations of Computing)

by: David Harel · Dexter Kozen · Jerzy Tiuryn

Printed Access Code

ISBN: 978-0-262-27495-1

ISBN-10: 0-262-27495-7

The MIT Press · 2000

See also:
2000PaperbackDynamic Logic (Foundations of Computing)
2000HardcoverDynamic Logic (Foundations of Computing)