Learn IT - Books tags verification

Path-Oriented Program Analysis

Cambridge University Press, 2007

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set...

IBM(R) WebSphere(R): Deployment and Advanced Configuration (Information Management)

IBM Press, 2004

The expert guide to deploying and managing any WebSphere Application Server V5.x application and environment

If you’re a WebSphere Application Server administrator or developer, this is your ...

Inferno Programming with Limbo

John Wiley & Sons, 2003

Inferno Programming with Limbo is the first complete developer’s guide to programming for the Inferno operating system. Developed at Lucent's Bell Labs, Inferno enables cross-platform, portable, distributed application development that is well suited for networked applications on resource constrained, embedded systems. Limbo is its...

Mechatronic Systems: Modelling and Simulation with HDLs

John Wiley & Sons, 2003

Developed through the interaction of mechanical, electrical and information technologies, mechatronic systems allow engineers to meet increasing demands for complex and sophisticated products. Using tools common to electronics, this book provides a timely introduction to the modelling and simulation of these systems from an...

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

IOS Press, 2006

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding,...

Principles of the Spin Model Checker

Springer, 2008

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2008

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated...

Machine Vision : Theory, Algorithms, Practicalities

Morgan Kaufmann, 2004

In the last 40 years, machine vision has evolved into a mature field embracing a wide range of applications including surveillance, automated inspection, robot assembly, vehicle guidance, traffic monitoring and control, signature verification, biometric measurement, and analysis of remotely sensed images. While researchers and industry specialists...

Algorithmics: The Spirit of Computing (3rd Edition)

Addison Wesley, 2004

From a review of the first edition:

‘This book is a veritable tour de force. Harel writes with uncommon verve, clarity and imagination.'

‘Through the use of tantalizing questions and aptly chosen and often amusing examples, the author transmits to the reader the excitement and intellectual satisfaction of computer science...

Logic in Computer Science: Modelling and Reasoning about Systems

Cambridge University Press, 1999

Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer, 2008

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65^th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa.

The volume consists of seven sections, six of...

Constraint Logic Programming using Eclipse

Cambridge University Press, 2007

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying...

Result Page: 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4