Hans Langmaack · 7 obras en el catálogoObrasFormal techniques in real-time and fault-tolerant systems1. Fachtagung über ProgrammiersprachenVVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software Development11. Fachtagung Über Programmiersprachen1. Fachtagung Über ProgrammiersprachenCCompositionality : the Significant DifferenceCompositionality : the Significant DifferenceZZur Konstruktion von Holomorphiehüllen unverzweigeter GebietZur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem CnCCompositionalityCompositionality
VVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software Development
ZZur Konstruktion von Holomorphiehüllen unverzweigeter GebietZur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem Cn
