Dynamic logic /

other_versions_link
Detalles Bibliográficos
Autor Principal: Harel, David
Outros autores: Kozen, Dexter ., Tiuryn, Jerzy .
Formato: Printed Book
Idioma:English
Publicado: New Delhi : Prentice Hall of India , 2002.
Subjects:
Mathamatical logic

Títulos similares