Reaktive Systeme: Modellierung, Spezifikation und Verifizierung von Luca Aceto

Reaktive Systeme: Modellierung, Spezifikation und Verifizierung von Luca Aceto

EUR60.09