Go backward to
3 Annotations
Go up to
Top
Go forward to
5 More About the Specification BasicReal
4 A Specification of Real Numbers
4.1 The Structure of the Specifications
4.2 Some Algebraic Specifications
4.3 The Specification DefineBasicReal
4.4 The Specification BasicReal
4.5 The Specification CompactBasicReal
CoFI
Note: M-7 -- Version: 0.2 -- 13 April 1999.
Comments to
till@informatik.uni-bremen.de
