 | | Practical Formal Software Engineering
Wanting the Software You Get
Bruce Mills
A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.
Published February 2009 | Hardback | ISBN-13:9780521879033 | In stock |
|
|
| | Real-Time Systems
Formal Specification and Automatic Verification
Ernst-Rüdiger Olderog, Henning Dierks
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Published September 2008 | Hardback | ISBN-13:9780521883337 | In stock |
|
|
| | Lambda-Calculus and Combinators
An Introduction
2nd Edition
J. Roger Hindley, Jonathan P. Seldin
Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models.
Published July 2008 | Hardback | ISBN-13:9780521898850 | In stock |
|
|
| | Path-Oriented Program Analysis
J. C. Huang
Presents and explains a method to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition.
Published March 2008 | Hardback | ISBN-13:9780521882866 | In stock |
|
|
| | The Description Logic Handbook
Theory, Implementation, and Applications
2nd Edition
Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook - unique reference in field of knowledge representation.
Published August 2007 | Hardback | ISBN-13:9780521876254 | Temporarily unavailable - no date available |
|
|
| | Reactive Systems
Modelling, Specification and Verification
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
Published August 2007 | Hardback | ISBN-13:9780521875462 | In stock |
|
|
| | Concurrent and Real-Time Programming in Ada
Alan Burns, Andy Wellings
Only book that explains Ada tasking model; covers latest version of Ada and its use in real-time and concurrent systems.
Published July 2007 | Hardback | ISBN-13:9780521866972 | In stock |
|
|
| | Algorithms on Strings
Maxime Crochemore, Christophe Hancart, Thierry Lecroq
Detailed algorithms for string processes and pattern matching have examples from natural language processing, molecular sequencing, and databases.
Published June 2007 | Hardback | ISBN-13:9780521848992 | In stock |
|
|
| | A Distributed Pi-Calculus
Matthew Hennessy
This book proposes a formal mathematical language for describing the behaviour of mobile agents in a distributed world.
Published March 2007 | Hardback | ISBN-13:9780521873307 | In stock |
|
