Formale Spezifikation und Implementierung von HochleistungsprotokollenStefan FischerVyprodáno4,3Pohlídat