Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar

Process Algebra with Timing
häftad,
2010,
Engelska,
ISBN 9783642077883
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. …

Semantics of Specification Languages (SoSL)
häftad,
1994,
Engelska,
ISBN 9783540198543
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the …