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.

Teilen: