Dynamic logic /

other_versions_link
Bibliografske podrobnosti
Glavni avtor: Harel, David
Drugi avtorji: Kozen, Dexter ., Tiuryn, Jerzy .
Format: Printed Book
Jezik:English
Izdano: New Delhi : Prentice Hall of India , 2002.
Teme:
Mathamatical logic

Podobne knjige/članki