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

106.99 EUR

Ein praxisnahes Werk über die Logik linearer und verzweigter Zeit sowie partieller Ordnung in parallelen Modellen; es verbindet theoretische Grundlagen mit Fallstudien aus einem internationalen Workshop.

Marke: Springer Berlin Heidelberg
MPN: 7138656
ISBN: 9783540510802
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen