Linear Time, Branching Time and Partial Order in Logics and Models for | Kaicus Deutschland

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