| This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.
The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing. |
|
|
 Automation through Chef Opscode: A Hands-on Approach to Chef
Automation through Chef Opscode provides an in-depth understanding of Chef, which is written in Ruby and Erlang for configuration management, cloud infrastructure management, system administration, and network management.
Targeted at administrators, consultants, and architect, the book guides them through... | | Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)
The journal Computing has established a series of supplement volumes the fourth
of which appears this year. Its purpose is to provide a coherent presentation of a
new topic in a single volume. The previous subjects were Computer Arithmetic
1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and
Related Automata... | | How to Program Visual Basic 5.0: Control Creation EditionA world in which every piece of software has the ability to interact with every other piece of software ain't gonna happen anytime soon. But you can always dream. I personally hope to someday put a software chip in a small house pet-a cat, perhaps-and control it through the use of Visual Basic properties and methods.
But perhaps I'm... |
Mastering Oracle8iWe want information… information...” Possibly you recognize these words as the primary interest of a somewhat clandestine group, and as told by a character called Number 2 to Patrick McGoohan’s character Number 6 (in the old TV show The Prisoner). Indeed, in this day, information is king, and the speedy, accurate, and reliable... | | Access Solutions: Tips, Tricks, and Secrets from Microsoft Access MVPs
Doug and I have known each other online for many years. We both became Microsoft
MVPs about 10 years ago, and have been friends ever since. Both of us had been writing
for magazines for years. Although we’d been talking about writing a book together
for about five years now, there had always been an impediment, usually work, and... | | Making Millions For Dummies
The must-have guide to achieving great wealth
Making Millions For Dummies lays out in simple, easy-to-understand steps the best ways to achieve wealth. Through a proven methodology of saving, building a successful business, smart investing, and carefully managing assets, this up-front, reliable guide shows readers how... |
|
