From a Community of Practice to a Body of Knowledge: A case study of the formal methods community

Visibility and visualisation of scholarly publications online: Erdős and beyond

Online Communities: Visualization and Formalization.

Computer science education in universities

Industrial use of formal methods

Making scholarly publications accessible online

Wiki Software and Facilities for Museums

The Brooklyn Visual Heritage Website: Brooklyn’s Museums and Libraries Collaborate for Project CHART

Online Academic Tools for Engagement

From a Community of Practice to a Body of Knowledge: A case study of the formal methods community

Microprocessor I/O emulation facilities

Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442

A user-friendly interface adapter

Microprocessors: hardware and applications: A VeronisReston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928

Formal specification of the ProCoS/safemos instruction set

Constructing predictable real time systems: Halang, W A and Stoyenko, A D Kluwer Academic (1991) £49.75, $75.00 ISBN 0-7923-9202-7

More books about assembler and 16-bit micros: Turpin, R WThe 8086 and assembly language programming BSP Professional Books, Oxford, UK (1987) £12.95 pp 259

More books about assembler and 16-bit micros: Krantz, D and Stanley, J68000 assembly language: techniques for building programs Addison-Wesley, Reading, MA, USA (1986) £15.95 pp 402

Editorial

Annotated Z bibliography