Programming Languages and Applied Logic

Highlight Titles

Page 1 2

		Practical Formal Software Engineering Wanting the Software You Get Bruce Mills £35.00 A practically-minded software engineering textbook aimed at final year undergraduate and graduate students. 'This book, including its exercises and projects, needs to be worked through. It brings formal methods down to earth, where they belong, but emphatically not in the 'For Dummies' sense. I highly recommend it.' George Hacken, Reviews.com Published February 2009 | Hardback | ISBN-13:9780521879033 | In stock
		Real-Time Systems Formal Specification and Automatic Verification Ernst-Rüdiger Olderog , Henning Dierks £41.00 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 £36.00 Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models. From reviews of the first edition: 'The book of R. Hindley and J. Seldin is a very good introduction to fundamental techniques and results in these fields ... the book is clear, pleasant to read, and it needs no previous knowledge in the domain, but only basic notions of mathematical logic ... Clearly, it was impossible to treat everything in detail; but even when a subject is only skimmed, the book always provides an incentive for going deeper, and furnishes the means to do it, owing to a substantial bibliography. Several chapters end with interesting and useful notes with history, comments, and indications for further reading ... In conclusion, this book is very interesting and well written, and is highly recommended to everyone who wants to approach combinatory logic and lambda-calculus (logicians or computer scientists). J. Symbolic Logic Published July 2008 | Hardback | ISBN-13:9780521898850 | In stock
		Path-Oriented Program Analysis J. C. Huang £47.00 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
		Reactive Systems Modelling, Specification and Verification Luca Aceto , Anna Ingólfsdóttir , Kim Guldstrand Larsen , Jiri Srba £42.00 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 £42.00 Only book that explains Ada tasking model; covers latest version of Ada and its use in real-time and concurrent systems. '… thorough, self-contained …' Zentralblatt MATH Published July 2007 | Hardback | ISBN-13:9780521866972 | In stock
		Algorithms on Strings Maxime Crochemore , Christophe Hancart , Thierry Lecroq £45.00 Detailed algorithms for string processes and pattern matching have examples from natural language processing, molecular sequencing, and databases. '… perfect for lectures on 'stringology', for graduate students as a reference on the topic and for appliers in linguistic or molecular biology …' Acta Scientiarum Mathematicarum Published June 2007 | Hardback | ISBN-13:9780521848992 | In stock
		A Distributed Pi-Calculus Matthew Hennessy £37.00 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
		Programming in Haskell Graham Hutton £24.99 Textbook on the functional programming language Haskell. 'The best introduction to Haskell available. There are many paths towards becoming comfortable and competent with the language but I think studying this book is the quickest path. I urge readers of this magazine to recommend Programming in Haskell to anyone who has been thinking about learning the language.' Duncan Coutts, Monad Reader Published January 2007 | Paperback | ISBN-13:9780521692694 | In stock