01
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science / Lecture Notes in Artific)
The earliest high-confidence catalog date in this author overview is 1993.
Author
Bernhard Möller
9 cataloged contributions
1993–2008 across 5 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Bernhard Möller, drawn from catalog context and salon activity when available.
02
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
A clearly attributed work with a supported 2003 catalog date.
03
Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters
A clearly attributed work with a supported 2003 catalog date.
04
Relational and Kleene-Algebraic Methods in Computer Science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
A clearly attributed work with a supported 2004 catalog date.
05
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
A clearly attributed work with a supported 2008 catalog date.
The catalog
Bibliography
5 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0