Filter By
Books (4)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Programming in Dylan by Iain D. Craig 9783540760535
Booksplease Price: $97.19Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author takes the reader... -
Formal Refinement for Operating System Kernels by Iain D. Craig 9781849966894
Booksplease Price: $195.38This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or... -
Object-Oriented Programming Languages: Interpretation by Iain D. Craig 9781846287732
Booksplease Price: $66.19This comprehensive examination of the main approaches to object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and... -
Formal Refinement for Operating System Kernels by Iain D. Craig 9781846289668
Booksplease Price: $190.81The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely...