The following pages link to AMAST Series in Computing (Q2715819):
Displaying 8 items.
- Formal models of computation. The ultimate limits of computing (Q2701761) (← links)
- An algebraic approach to compiler design (Q2715820) (← links)
- Language prototyping: An algebraic specification approach (Q2715823) (← links)
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification (Q2715825) (← links)
- Construction and Analysis of Transition Systems with MEC (Q4850737) (← links)
- Real-Time Systems (Q5898770) (← links)
- Publication:5898770 (← links)
- Publication:4850737 (← links)