Refinements in HOLCF: Implementation of Interactive Systems . (Schriftenreihe Forschungsergebnisse zur Informatik)

von Oscar Slotosch Broschiert Details (Deutschland) ISBN-13: 978-3-86064-625-0 ISBN-10: 3-86064-625-7 Verlag Dr. Kovac · 1997