Dynamic logic /

other_versions_link
Dades bibliogràfiques
Autor principal: Harel, David
Altres autors: Kozen, Dexter ., Tiuryn, Jerzy .
Format: Printed Book
Idioma:English
Publicat: New Delhi : Prentice Hall of India , 2002.
Matèries:
Mathamatical logic

Ítems similars