Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
IDL
None
The Way of Z
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Engineering a Compiler
Today's compiler writer must choose a path through a design space that is filled with diverse alternatives. "Engineering a Compiler" explores this design space by presenting some of the ways these problems have been solved, and the constraints that made each of those solutions attractive.
Security and Persistence
During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture. Although we had previously worked together for more than a decade in Australia we had not seen each other for over a year, following my move to Bremen in 1988. Meanwhile John was spending a year on study leave at the University of St. Andrews in Scotland with Professor Ron Morrison and his persistent programming research group. From our conversations it was quite clear that John was having a most fruitful time in St. Andrews and was gaining valuable new insights into the world of persistent programming. He was very keen to explore the significance of these insights for ...
Database Modeling and Design
Includes bonus chapters from the book, Physical database design.
ECOOP'89
This volume contains the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations.
The Dundee directory
None
