[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

#### Bibliographic Item (1.0)

- Raymond T Boute
- Supertotal function definition in Mathematics and Software Engineering
- IEEE Trans Software Engineering V26n7(Jul 2000)pp662-672
- =IDEA FORMAL LOGIC FUNCTIONAL MATHEMATICS calculational
- Refers to FunMath
[PVS]
[Parnas93]

- Compare:
[LPT]
- Question: How to calculated easily with partial functions?
- Idea: Functions defined by a domain and an expression can be treated as total by extension to an arbitrary value in calculating with suitably guarded formulae

Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.

To see the complete bibliography (1Mb+) select:[Bibliography]