1 / 1 pages :
- 1

Data Abstraction and Structures Using C++ is the ideal text for introducing computer science students to C++. A powerful alternative for second courses in computer science, the text is...
- Category: C++
- Release Date: 1996-08-26 00:00:00
- Tags: Data, Abstraction, Structures, Using, C++,

This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations of the environment. A mobile robot intended to perform...
- Category: Computational Intelligence
- Release Date: 2007-09-26 00:00:00
- Tags: Multiple, Abstraction, Hierarchies, Mobile, Robot, Operation, Large, Environments, Studies, Computational, Intelligence,

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital...
- Category: Computer Engineering
- Release Date: 2006-07-20 00:00:00
- Tags: Abstraction, Refinement, Large, Scale, Model, Checking, Series, Integrated, Circuits, Systems,

The art, craft, discipline, logic, practice and science of developing large scale software products is an increasing need of a trustworthy, believable and professional base. This book is one in...
- Category: Software Engineering
- Release Date: 2006-02-10 00:00:00
- Tags: Software, Engineering, Abstraction, Modelling, Texts, Theoretical, Computer, Science, EATCS, Series,

In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible....
- Category: Software Engineering
- Release Date: 2006-04-07 00:00:00
- Tags: Software, Abstractions, Logic, Language, Analysis,
1 / 1 pages :
- 1

