Abstract State Machines
53.49 EUR
Ein praxisorientiertes Werk über abstrakte Zustandsmaschinen, das die Theorie mit konkreten Modellierungsbeispielen verbindet; es zeigt, wie man komplexe Systeme formal analysiert und optimiert, um robuste Software‑ und Hardwarelösungen zu entwickeln.