Narrow search
Showing 1 - 10 of 14
Cover Image
SOME REMARKS CONCERNING CORRECT SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA TYPES / HARTMUT EHRIG ; HANS-JOERG KREOWSKI ; PETER PADAWITZ
Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter - 1977
Persistent link: https://www.econbiz.de/10004602363
Cover Image
Algebraic theory of modular specification development
Ehrig, Hartmut (contributor) - 1987
Persistent link: https://www.econbiz.de/10004714715
Cover Image
Denotational and initial algebra semantics of the algebraic ¬sepcification [specification] language look : (Version: June 1982)
Ehrig, Hartmut (contributor) - 1984
Persistent link: https://www.econbiz.de/10004770824
Cover Image
Algebraic concepts applied to software development using parameterized specifications with requirements
Ehrig, Hartmut; Fey, Werner - 1983
Persistent link: https://www.econbiz.de/10004060087
Cover Image
An algebraic specification concept for modules : (draft version)
Ehrig, Hartmut - 1984
Persistent link: https://www.econbiz.de/10004060090
Cover Image
Specification techniques for concurrent and distributed systems
Ehrig, Hartmut; Große-Rhode, Martin; Heise, Andreas - 1992
Persistent link: https://www.econbiz.de/10004126800
Cover Image
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
Ehrig, Hartmut; Korff, Martin; Loewe, Michael - 1990
Persistent link: https://www.econbiz.de/10004090530
Cover Image
Parallelism and concurrency in high level replacement systems
Ehrig, Hartmut (contributor) - 1990
Persistent link: https://www.econbiz.de/10004094676
Cover Image
Algebraic data type and process specifications based on projection spaces
Ehrig, Hartmut (contributor) - 1987
Persistent link: https://www.econbiz.de/10004062675