Paperback or Softback. Condizione: New. Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986. Book.
Paperback or Softback. Condizione: New. Category Theory and Computer Science: Edinburgh, Uk, September 7-9, 1987. Proceedings. Book.