Formal Methods of Program Verification and Specification, Helmut K. Berg et etc.

Schmidt, Helmut Menschen Et Pouvoirs / Helmut Schmidt 1987 Broché

Mikroprozessortechnik, Helmut Müller et Lothar Walz

Larch: Languages and Tools for Formal Specification, John Guttag et James J. Ho

Caspar David Friedrich, Helmut Börsch-Supan et Caspar David Friedrich

Specification and Transformation of Programs: A Formal Approach to Software Deve

Birmanie, Helmut Köllner et Axel Bruns