Baber, Robert Laurence.
Baber, Robert Laurence, 1937-
Robert Laurence Baber
VIAF ID: 35177321 ( Personal )
Permalink: http://viaf.org/viaf/35177321
Preferred Forms
- 200 _ | ‡a Baber ‡b Robert Laurence
-
- 100 1 _ ‡a Baber, Robert Laurence
-
- 100 1 _ ‡a Baber, Robert Laurence
- 100 1 _ ‡a Baber, Robert Laurence
-
-
-
- 100 1 _ ‡a Baber, Robert Laurence
-
-
- 100 1 _ ‡a Baber, Robert Laurence ‡d 1937-
- 100 1 _ ‡a Baber, Robert Laurence ‡d 1937-
-
-
- 100 0 _ ‡a Robert Laurence Baber
4xx's: Alternate Name Forms (7)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Computers in your future 98 | |
Error-free software : know-how and know-why of program correctness | |
Fehlerfreie Programmierung für den Software-Zauberlehrling. | |
language of mathematics utilizing math in practice | |
O oprogramowaniu inaczej / Robert Laurence Baber. - Warszawa, 1989. | |
Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit | |
Software reflected, 1982:CIP t.p. (Robert Laurence Baber) CIP data sheet (Robert L. Baber) | |
Software reflected : the socially responsible programming of our computers | |
Softwarereflexionen Ideen und Konzepte für die Praxis | |
The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs |