Linear Time Branching Time and Partial Order in Logics and Models for Concurrency

106.99 EUR

Ein kompakter Leitfaden für fortgeschrittene Logikstudierende, der die Konzepte linearer und verzweigter Zeit sowie partieller Ordnung in parallelen Modellen detailliert erklärt und praxisnahe Beispiele aus einem internationalen Workshop bietet.

Teilen: