  Practical Formal Software Engineering Wanting the Software You Get Bruce Mills
A practicallyminded software engineering textbook aimed at final year undergraduate and graduate students.
Published February 2009  Hardback  ISBN13:9780521879033  Temporarily unavailable  no date available 


  RealTime Systems Formal Specification and Automatic Verification ErnstRĂ¼diger Olderog, Henning Dierks
Explains realtime specification techniques (duration calculus, timed automata, and PLCautomata) needed for embedded safetycritical applications.
Published September 2008  Hardback  ISBN13:9780521883337  In stock 


  PathOriented Program Analysis J. C. Huang
Presents and explains a method to simplify a piece of source code by following the pathoriented method of decomposition, simplification, and recomposition.
Published March 2008  Hardback  ISBN13:9780521882866  In stock 


  A Distributed PiCalculus Matthew Hennessy
This book proposes a formal mathematical language for describing the behaviour of mobile agents in a distributed world.
Published March 2007  Hardback  ISBN13:9780521873307  In stock 


  Automata Theory with Modern Applications James A. Anderson
Contemporary introduction to automata theory that uniquely also covers some modern applications to bioscience.
Published June 2006  Paperback  ISBN13:9780521613248 (ISBN10:0521613248)  Available, despatch within 12 weeks 


  Logic in Computer Science Modelling and Reasoning about Systems 2nd Edition Michael Huth, Mark Ryan
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Published August 2004  Paperback  ISBN13:9780521543101 (ISBN10:052154310X)  In stock 
