Synthese und Analyse von Algorithmen / von W. Bibel
Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: German Series: Forschungsberichte / Universität Karlsruhe, Institut für Angewandte Informatik und Formale Beschreibungsverfahren ; ...Volumes: Show volumesPublisher: Karlsruhe : Univ., Inst. für Angew. Informatik u. Formale Beschreibungsverfahren, 19XX-RVK: RVK: ST 130PPN: PPN: 1132470234No physical items for this record