Formális módszerek az informatikában
| Cím | Formális módszerek az informatikában |
| Közlemény típusa | Book |
| Kiadás éve | 2004 |
| Szerzők | Pataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D. |
| Kiadó | Typotex |
| Jegyzetek | In Hungarian |
| Cím | Formális módszerek az informatikában |
| Közlemény típusa | Book |
| Kiadás éve | 2004 |
| Szerzők | Pataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D. |
| Kiadó | Typotex |
| Jegyzetek | In Hungarian |