BOOKS by Antoni Diller

Z an introduction to formal methods more books like this

by Diller

This book is about the formal specification language Z. It is based on two lecture courses given in the School of Computer Science at the University of Birmingham. Given its origins this book can be used as a textbook for courses on Z and formal methods at first and second year undergraduate level. This book is divided into seven parts. Part 1 ...

see all copies from $1.99!

new only from $17.00! | SVS

Latex Line by Line: Tips and Techniques for Document Processing more books like this

by Antoni Diller

This is an easy-to-follow tutorial on the most popular text processing system used in the academic community. It explains formatting fundamentals and the more complex techniques for typesetting mathematical formulas. It is useful as a resource for those with access to the previous version (LATEX 2.09) who want to update themselves on the latest ...

see all copies from $36.50!

new only from $77.32! | SVS

Compiling Functional Languages more books like this

by Antoni Diller

An attempt to describe a number of different ways of implementing functional programming languages which bear a strong family resemblance to one another and which all have their origins in the work of Turner on combinator-based graph-reducers. The book is aimed at those involved in the principles of functional languages or in language translation. ...

see all copies from $33.00!

new only from $53.13! | first editions