Filter
Sökt på: Sökresultat
Filter
totalt 4 träffar
MetaSoft Primer
häftad,
1987,
Engelska,
ISBN 9783540186571
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without …
Temporal Logic in Specification
häftad,
1989,
Engelska,
ISBN 9783540518037
Compositionality: The Significant Difference
häftad,
1998,
Engelska,
ISBN 9783540654933
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full …
Hybrid Systems: Computation and Control
häftad,
2003,
Engelska,
ISBN 9783540009139
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid …