[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- B Shaw (ed)
- Formal Aspects of Computer Science
- Joint IBM University of Newcastle upon Tyne Seminar 3rd-6th Sep 74
- =PROCEEDINGS FORMAL
- Papers by Bekic Hoare Hopcroft Rabin Scott Winograd Zemanek.
- Hoare(p17) joke on ugly goto vs decent abortion
- efficiency and termination related.
- H Zemanek on history(p180) "We may not realise but a blue-print is a formal definition of the object to be produced..."
- Cunningham (p209) use of regular algebras to model algorithms via Kleene Sequence [Backhouse & Carre??]
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]