W

Kategorie

Academic staff of the Southwest University

1 Artikel

Jonathan Bowen

Jonathan P. Bowen (* 14. März 1956) ist ein britischer Informatiker und emeritierter Professor an der London South Bank University . Sein Hauptbeitrag liegt im Bereich der formalen Methoden , insbesondere der Z-Notation .

ExzellentAcademic staff of the Southwest University