1986

  1. Schiedermeier, G.: Eine Programmierumgebung für verteiltes PEARL - Codeerzeugung mittels Programmsynthese. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation, 1986. (BibTeX)
  2. Schneider, H.: Ein syntaktischer Rahmen für unterschiedliche Prozeßtypen. Vortrag: Kolloquium, gehalten am: 14. Februar 1986, Universität, Mainz 1986 (BibTeX)
  3. Schneider, H.: Programmiersprachen: Konzepte und Trends. Vortrag: gehalten am: 15. September 1986, SEL, Stuttgart 1986 (BibTeX)
  4. Schneider, H.: Programmverifikation. In: Computer-Magazin (1986) Nr. 4 S. 50-55 (BibTeX)
watermark seal