 |
|
|
 Systems and Software Verification: Model-Checking Techniques and Tools
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical... |  |  Developing iOS Applications with Flex 4.5
Apple originally introduced iOS in January of 2007 as the operating system for the
iPhone, under the original name of iPhone OS. In June of 2010, Apple renamed its
mobile operating system to iOS.
This book will walk you through the creation of your first Adobe AIR application using
the Flex 4.5 framework and... |  |  Management Science: The Art of Modeling with Spreadsheets
This is a book for business analysts about modeling. A model is a simplified
representation of a situation or problem, and modeling is the process of building,
refining, and analyzing that representation for greater insight and improved decision
making. Some models are so common that they are thought of as routine instruments
rather... |
|
 Object-Oriented Programming Using C++
Object-Oriented Programming Using C++, Fourth Edition is designed for many levels of programming students
and a variety of programming teaching styles. Readers who are new to programming will find the
basics of programming logic and the C++ programming language covered thoroughly and clearly.
Comprehensive, engaging... |  |  Agile ALM: Lightweight tools and Agile strategies
Welcome to Agile ALM. This book has three main goals. The first is to describe Agile
Application Lifecycle Management (ALM) in practical terms and to provide a plan for
rolling out Agile strategies and best-of-breed tools. The second purpose is to explain
how to create ALM toolboxes based on standard tools used in advanced, real-world... |  |  Operating System Concepts Essentials
Operating systems are an essential part of any computer system. Similarly,
a course on operating systems is an essential part of any computer-science
education. This field is undergoing rapid change, as computers are now
prevalent in virtually every application, from games for children through the
most sophisticated planning tools for... |
|
 MATLAB: An Introduction with Applications
MATLAB is a powerful language for technical computing. The name MATLAB
stands for MATrix LABoratory, because its basic data element is a matrix (array).
MATLAB can be used for math computations, modeling and simulations, data
analysis and processing, visualization and graphics, and algorithm development.
MATLAB is widely used... |  |  Dreamweaver CS5.5: The Missing Manual
Websites continue to evolve, growing in scope and complexity every year,
with new features popping up all the time to make the Web look and
work better. Even people building personal websites use various programming
languages and server technologies to dish up content.
Throughout its history, Dreamweaver has managed to keep... |  |  Beginning Java SE 6 Game Programming
This book will teach you how to create games with the awesome Java language.
Previous editions emphasized the casual game market with chapter projects
designed to run in AppletViewer or in a web browser. While still relevant, the
code in this new edition is a bit simpler, using a JFrame more often instead of an
applet, so that... |
|
Result Page: 555 554 553 552 551 550 549 548 547 546 545 544 543 542 541 540 539 538 537 |