B. Möller
3 published titles
Constructing programs from specifications
(Contributor)
1 edition
- ISBN: 0444891846
- North-Holland
- 1991
- Details
Prospects for hardware foundations
(Contributor)
1 edition
- ISBN: 3540654615
- Springer
- 1998
- Details
Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540438572
- Springer
- 2002
- Details
