Home > Science, Technology & Medicine > Computer Science > Programming Languages and Applied Logic
Programming Languages and Applied Logic
Highlight titles
Divider
All titles
Divider
New titles
Divider
Sample Chapters
Divider
Related Journals
Search Cambridge titles
at Google Book Search
on this site
Divider
Advanced Search
Divider
Cambridge Alerts
Receive regular updates of our new titles and special offers.  

Programming Languages and Applied Logic

Highlight Titles


spacer
Add to basket
spacer

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 | Temporarily unavailable - no date available

Back to top


spacer
Add to basket
spacer

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

Back to top


spacer
Add to basket
spacer

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

Back to top


spacer
Add to basket
spacer

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

Back to top


spacer
Add to basket
spacer

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 | ISBN-13:9780521613248 (ISBN-10:0521613248) | Available, despatch within 1-2 weeks

Back to top


spacer
Add to basket
spacer
Sample Chapter
spacer

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 | ISBN-13:9780521543101 (ISBN-10:052154310X) | In stock

Back to top