
The Symbolic Execution of Software
1995

An introduction to discrete mathematics and formal system specification
1988
ISBN 9780198596677
Software Development
1989
ISBN 9780198537571![Cover of Object-oriented software engineering with C [plus plus]](https://api.oulie.io/images/cover-9780077074029.jpg)
Object-oriented software engineering with C [plus plus]
1991
ISBN 9780077074029
Introduction to software project management and quality assurance
1993
ISBN 9780077074364
Software quality assurance
1995
ISBN 9780077090968
From Data Structures with Java (Grassroots)
2000
ISBN 9780333774441
Developing distributed and e-commerce applications
2002
ISBN 9780201730463
A dictionary of the internet
2002
ISBN 9780192802866
The Computer: A Very Short Introduction