Title:
Algebraic specification techniques and tools for software development : the ACT approach; 1
Author:
Claßen, Ingo
Contributer:
Ehrig, Hartmut
,
Wolz, Dietmar
Publisher:
Singapore u.a. :World Scientific,
Year of publication:
1993
Pages:
XVI, 237 S. : graph. Darst.
Series Statement:
AMAST series in computing 1
ISBN:
981-02-1227-5
Type of Medium:
Book
Language:
English
URL:
https://zbmath.org/?q=an:0921.68059
Permalink