First-order dynamic logic
de David Harel · Publicada por primera vez en 1979
Materias
Ediciones (1)
- First-order dynamic logic (1979)
Springer-Verlag · inglés
Modeling reactive systems with statecharts
1998
de David Harel · Publicada por primera vez en 1979
Springer-Verlag · inglés
2001