Hans Langmaack

Hans Langmaack

2 ספרים במאגר

ספרים

1. Fachtagung über ProgrammiersprachenHans Langmaack

1. Fachtagung über Programmiersprachen

Hans Langmaack · 1972

1. Fachtagung Über ProgrammiersprachenHans Langmaack

1. Fachtagung Über Programmiersprachen

Hans Langmaack · 1972

ספרים משותפים ואוספים

ספרים שבהם Hans Langmaack מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Compositionality : the Significant DifferenceWillem-Paul de Roever

Compositionality : the Significant Difference

Willem-Paul de Roever · 2003

VDM '90. VDM and Z - Formal Methods in Software DevelopmentDines Bjørner

VDM '90. VDM and Z - Formal Methods in Software Development

Dines Bjørner · 2014