Dynamic logic /

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Harel, David
Weitere Verfasser: Kozen, Dexter ., Tiuryn, Jerzy .
Format: Printed Book
Sprache:English
Veröffentlicht: New Delhi : Prentice Hall of India , 2002.
Schlagworte:
Mathamatical logic

Ähnliche Einträge