Titel:
Algebraic specification techniques and tools for software development : the ACT approach; 1
Autor:
Claßen, Ingo
Beteiligte Person(en):
Ehrig, Hartmut
,
Wolz, Dietmar
Verlag:
Singapore u.a. :World Scientific,
Erscheinungsjahr:
1993
Seiten:
XVI, 237 S. : graph. Darst.
Serie:
AMAST series in computing 1
ISBN:
981-02-1227-5
Materialart:
Buch
Sprache:
Englisch
URL:
https://zbmath.org/?q=an:0921.68059
Permalink