Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte (210), Band 210)

Spezifikationen

von Klaus Drosten

Taschenbuch

EAN=ISBN-13: 978-3-540-51172-4

ISBN-10: 3-540-51172-5

Springer Berlin Heidelberg · 1989