| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
The B-method(Paperback)
Palgrave Macmillan
Published:
19/10/2001
This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It assumes no prior knowledge ...
|
|
|
2.
|
|
|
Formal Object Oriented Specification Using Object-Z(Paperback)
Palgrave Macmillan
Published:
06/06/2000
This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies.
|
|
|
3.
|
|
|
4.
|
|
|
Operating Systems with Linux(Paperback)
Palgrave Macmillan
Published:
14/02/2001
This title covers the basic theory of design and implementation in depth using Linux as an example. It should appeal to an instructor who is already facing the challenge of drawing material from man...
|
|
|
5.
|
|
|
The Fun of Programming(Paperback)
Palgrave Macmillan
Published:
27/03/2003
This textbook provides tutorial expositions on the current state of the art of functional programming. It is suitable for an undergraduate course immediately following an introduction to functional ...
|
|
|
6.
|
|
|
Computer Vision and Image Processing(Paperback)
Palgrave Macmillan
Published:
09/09/2003
Directed at third-year undergraduates and postgraduates, this challenging text offers a complete and up-to-date introduction to computer vision and image processing. Examples in both Java and C++ ar...
|
|
|
7.
|
|
|
Select All |
|
|
|