Cambridge Virtual Bookfair   View basketHelp

Programming Languages, Compilers, and Software Engineering Methods

Concepts in Programming Languages

Concepts in Programming Languages

  • John C. Mitchell

"The book's three goals are achieved admirably: to discuss the design decisions and tradeoffs of various programming languages, to compare programming languages to deepen understanding, and to present language-specific programming techniques... This is the text one would use in a course on programming languages. Highly recommended."
Choice

Request Examination Copy | Learn more...
Modern Compiler Implementation in Java

Modern Compiler Implementation in Java
2nd Edition

  • Andrew W. Appel, With Jens Palsberg

"...fit[s] comfortably and usefully between cookbooks and encyclopedias on compilation...suitable for self-study."
Computing Reviews

Request Examination Copy | Learn more...
Logic in Computer Science

Logic in Computer Science
Modelling and Reasoning about Systems
2nd Edition

  • Michael Huth, Mark Ryan

"Readers searching for a good book on formal methods will find it here."
Choice

Request Examination Copy | Learn more...
The Object Primer

The Object Primer Agile Model-Driven Development with UML 2.0
3rd Edition

  • Scott W. Ambler

"The Object Primer is the best book I've read that covers the basic fundamentals of object-oriented software engineering and process. It is easy to understand and...a must read."
Mike Stefano, New York Life

Request Examination Copy | Learn more...
UML by Example

UML by Example

  • Ghinwa Jalloul

Ghinwa Jalloul's step-by-step introduction to object-oriented software development is suitable for teacher training as well as for practicing software engineers. Jalloul presents seven complete case studies and several smaller examples documented in UML, derived from small software projects developed for, and delivered to, real users. They are preceded by an overview of the object-oriented modeling artifacts in UML, on which the remainder of the book relies. The case studies provide a medium for experimental use and act as templates that can be tailored by readers to fit specific needs and circumstances.

Request Examination Copy | Learn more...
The Haskell School of Expression

The Haskell School of Expression
Learning Functional Programming through Multimedia

  • Paul Hudak

"...a rather unusual and very interesting book for the functional programming community...The author's style is wonderful, and he is good at explaining the material...This book is unique in the field of functional programming."
Computing Reviews

Request Examination Copy | Learn more...
Specifying Software

Specifying Software
A Hands-On Introduction

  • R. D. Tennent

"I would like to single out both the author's approach and his style of presentation as very positive features of the book. Reading this book is definitely inspiring..."
Computing Reviews

Request Examination Copy | Learn more...
Principles of Constraint Programming

Principles of Constraint Programming

  • Krzysztof Apt

Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods to solve them rely on the idea of constraint propagation and search. This book meets the need for a modern, multidisciplinary introduction to the field that covers foundations and applications. Written by Krzysztof Apt, an authority on the subject, it will be welcomed by graduate students and professionals. With the insertion of constraint techniques into programming environments, new developments have accelerated the solution process. Constraint programming combines ideas from artificial intelligence, programming languages, databases, and operational research.

Request Examination Copy | Learn more...
The Way of Z

The Way of Z
Practical Programming with Formal Methods

  • Jonathan Jacky

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Request Examination Copy | Learn more...
Memory as a Programming Concept in C and C++

Memory as a Programming Concept in C and C++

  • Frantisek Franek

Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective memory usage. The overwhelming majority of "bugs" and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are notoriously difficult to resolve. Moreover, the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books. Most professional programmers learn about it entirely through actual experience of the problems it causes.

Request Examination Copy | Learn more...
Object-Oriented Programming with Visual Basic.NET

Object-Oriented Programming with Visual Basic.NET

  • Michael McMillan

"...it is written clearly, and any student who has successfully completed a programming course in any language should be able to use it as a stepping-stone into the world of applications programming in Microsoft's dot-NET framework. Recommended."
S.L. Tanimoto, University of Washington, Choice

Request Examination Copy | Learn more...

The Elements of Java™ Style

  • Allan Vermeulen, Scott W. Ambler, Greg Bumgardner, Eldon Metz, Trevor Misfeldt, Jim Shur

"By and large there is little to argue about. The Elements of Java Style is perfect in what it tries to achieve."
The Development Exchange's Java Zone

Request Examination Copy | Learn more...
The Elements of UML™ Style

The Elements of UML™ Style

  • Scott W. Ambler

"Just as Strunk & White's The Elements of Style provides rules of usage for writing in English, this text furnishes a set of rules for modeling in the Unified Modeling Language."
IEEE Computer

Request Examination Copy | Learn more...
The Elements of UML™ 2.0 Style

The Elements of UML™ 2.0 Style

  • Scott W. Ambler

"Just as Strunk & White's The Elements of Style provides rules of usage for writing in English, this text furnishes a set of rules for modeling in the Unified Modeling Language."
IEEE Computer

Request Examination Copy | Learn more...
The Elements of C++ Style

The Elements of C++ Style

  • Trevor Misfeldt, Gregory Bumgardner, Andrew Gray

The Elements of C++ Style is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White's The Elements of Style provides rules of usage for writing in the English language, this text furnishes a set of rules for writing in C++. The authors offer a collection of standards and guidelines for creating solid C++ code that will be easy to understand, enhance and maintain. The book provides conventions for formatting, naming, documentation, programming, and packaging for the latest ANSI standard of C++, and also includes discussion of advanced topics such as templates.

Request Examination Copy | Learn more...