Boute, R.T. (Raymond T.)
Boute, Raymond T.
Boute, R.T.
Raymond Boute
VIAF ID: 48353444 ( Personal )
Permalink: http://viaf.org/viaf/48353444
Preferred Forms
-
- 100 1 0 ‡a Boute, R. T. ‡q (Raymond T.)
-
-
- 100 1 _ ‡a Boute, Raymond T.
- 100 1 _ ‡a Boute, Raymond T.
- 100 0 _ ‡a Raymond Boute
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
The Beta Calculus: Skoping and substitution in formal descriptions of systems with bidirectional information flow | |
Declarative systems : proceedings | |
Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems | |
Functional temporal calculus versus temporal logic : an engineering approach | |
Funmath illustrated : a declarative formalism and application examples | |
IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems (1988 : Budapest, Hungary). Declarative systems, 1990: | |
System semantics and formal circuit description | |
System semantics: principles, applications and implementation | |
Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings | |
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992 | |
Van gisteren op morgen : een nieuwe generatie in de informatica |