Dynamic logic /

other_versions_link
Detalles Bibliográficos
Autor principal: Harel, David
Otros Autores: Kozen, Dexter ., Tiuryn, Jerzy .
Formato: Printed Book
Lenguaje:English
Publicado: New Delhi : Prentice Hall of India , 2002.
Materias:
Mathamatical logic

Ejemplares similares