Dynamic Logic

Harel, David (Author)/ Kozen, Dexter (Author)/ Tiuryn, Jerzy (Author)

ISBN 10: 0262527669 / ISBN 13: 9780262527668

Edité par MIT Press, 2000

A propos de cet article

476 pages. 9.00x7.00x1.20 inches. In Stock.

N° de réf. du vendeur x-0262527669

Détails bibliographiques

• Titre: Dynamic Logic
• Éditeur: MIT Press
• Date de parution: 2000
• Langue: anglais
• ISBN à 10 chiffres: 0262527669
• ISBN à 13 chiffres: 9780262527668
• Reliure: Paperback
• État de l'article: Brand New

A propos de ce titre

Synopsis

This book provides the first comprehensive introduction to Dynamic Logic.

À propos de l?auteur

Dexter Kozen is Joseph Newton Pew, Jr., Professor of Engineering in the Computing and Information Science Department at Cornell University.

Jerzy Tiuryn is Professor in the Institute of Computer Science at the University of Warsaw.