Graeme Smith Books
The Object Z Specification Language
By Graeme Smith
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it e...
Read MoreThe Object-Z Specification Language
By Graeme Smith
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it e...
Read MoreThe dogs are eating them now
By Graeme Smith
A personal look at the war in Afghanistan from the perspective of a Canadian war correspondent.
Read MoreHaematology
By Graeme Smith
In "Problem Solving in Haematology", an expert panel lead readers through real-life clinical presentations on how to diagnose and manage a variety of clinical cases seen in haematology practice. Th...
Read MoreDogs Are Eating Them Now
By Graeme Smith
A personal look at the war in Afghanistan from the perspective of a Canadian war correspondent.
Read More