 |
|
 Formal Syntax and Semantics of Programming Languages: A Laboratory Based ApproachThis text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming... | | Software Test Automation (ACM Press)You can't just buy an automated testing tool and expect to improve your organization's testing process without some real effort, at least that is what the authors of Software Test Automation argue. Written for any test manager or engineer, this practical-minded guide shows the right way to automate testing to bring down costs and improve... | | The LaTeX Graphics Companion: Illustrating Documents with TeX and Postscript(R)This handy reference describes techniques and tricks needed to illustrate LaTeX documents, and answers common user questions about graphics and PostScript fonts. It provides the first full description of the standard LaTeX color and graphics packages, and shows how you can combine TeX and PostScript capabilities to produce beautifully illustrated... |
|
|
Algorithms, Data Structures, and Problem Solving With C++This book was designed for a second course in computer science, which has typically been known as CS-2 Data Structures. The content of CS-2 has been evolving over some time, but there is general agreement that topics such as structures, pointers, and data structures should be taught, along with an introduction to algorithm analysis and a general... | | Design Patterns Explained: A New Perspective on Object-Oriented Design"...I would expect that readers with a basic understanding of object-oriented programming and design would find this book useful, before approaching design patterns completely. Design Patterns Explained complements the existing design patterns texts and may perform a very useful role, fitting between ... | | Hacker's Delight
This is a collection of small programming tricks that I have come across over many years. Most of them will work only on computers that represent integers in two's-complement form. Although a 32-bit machine is assumed when the register length is relevant, most of the tricks are easily adapted to machines with other register... |
|
The SPIN Model Checker: Primer and Reference ManualSPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing... | | | | Haskell: The Craft of Functional Programming (2nd Edition)The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, as well as advice an program design, testing, problem... |
|
| Result Page: 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 |
