[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Bertrand Meyer
- On Formalism in Specification
- IEEE Software V2n1(Jan 1985)pp6-27
- =DEMO formal logic non-sequential PURPOSE Reality
Examines line breaks problem, notes structure clash and use of pipes and inversion for solution.
inspiration for my 'br' program:
[ br.d.html ]
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]