Dynamic logic /

other_versions_link
Detalhes bibliográficos
Autor principal: Harel, David
Outros Autores: Kozen, Dexter ., Tiuryn, Jerzy .
Formato: Printed Book
Idioma:English
Publicado em: New Delhi : Prentice Hall of India , 2002.
Assuntos:
Mathamatical logic

Registos relacionados