ACT ONE, an algebraic specification language with two levels of semantics:
Saved in:
Bibliographic Details
Main Author: Ehrig, Hartmut 1944-2016 (Author)
Format: Book
Language:German
Published: Berlin 1983
Series:Technische Universität <Berlin, West> / Fachbereich Informatik: Bericht 83,3
Subjects:
Physical Description:55 Bl.