Formal Methods and Software Developmentde Hartmut EhrigEdiciones (1)Formal Methods and Software Development (1985)Springer-Verlag · inglés · ISBN 9780387151991Más obras de Hartmut EhrigTTAPSOFT '87TAPSOFT '87Graph-grammars and their application to computer scienceAdvanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)