Wupper, H. (Hanno)
Wupper, H.
VIAF ID: 21039273 ( Personal )
Permalink: http://viaf.org/viaf/21039273
Preferred Forms
- 100 1 _ ‡a Wupper, H.
- 100 1 0 ‡a Wupper, H.
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Anatomy of computer systems : experiences with a new introductory informatics course | |
An approach towards formal treatment of reliability in system specifications | |
Computable processes | |
Design as the discovery of a mathematical theorem : what designers should know about the art of mathematics | |
L3333 | |
L3333: a simple language with static typing of hard real-time constraints | |
Proceedings international conference on Algol 68, Rechenzentrum der Ruhr-Universität Bochum, BRD, March 30-31, 1981 | |
Quantified modal algebra : quantified modal operators and their use in specification | |
System design as a creative mathematical activity | |
A taxonomy for computer science | |
A taxonomy of reactive systems | |
Wat is informatica eigenlijk? |