1
Published 2001
Springer US
Table of Contents: ... Based on a Formal Computational Model and Skeletons -- 16. Models of Asynchronous Computation -- 17. A...

2
Published 2001
Springer US
Subjects: ...Compilers (Computer programs)...

3
Published 2003
Springer US
Subjects: ...Compilers (Computer programs)...

4
Published 1992
Springer US
Table of Contents: ... -- Symbolic Computation of Hierarchical and Interconnected FSMS -- Formal Semantics of VHDL Timing Constructs...

5
Published 1993
Springer Netherlands
Subjects: ...Compilers (Computer programs)...