Dynamic logic /

other_versions_link
Podrobná bibliografie
Hlavní autor: Harel, David
Další autoři: Kozen, Dexter ., Tiuryn, Jerzy .
Médium: Printed Book
Jazyk:English
Vydáno: New Delhi : Prentice Hall of India , 2002.
Témata:
Mathamatical logic

Podobné jednotky