Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Buy

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

(HTML tags aren't allowed.)

Analysis Patterns: Reusable Object Models (The Addison-Wesley Object Technology Series)
Analysis Patterns: Reusable Object Models (The Addison-Wesley Object Technology Series)

This innovative book recognizes the need within the object-oriented community for a book that goes beyond the tools and techniques of the typical methodology book. In Analysis Patterns: Reusable Object Models, Martin Fowler focuses on the end result of object-oriented analysis and design - the models themselves. He shares with...

SAS/QC 9.1 User's Guide (3-Volume Set)
SAS/QC 9.1 User's Guide (3-Volume Set)

SAS/QC now includes the ANOM procedure for analysis of means, a graphical and statistical method for comparing a set of means to determine whether any of them are significantly different from the overall mean. There are also a number of enhancements to the existing CAPABILITY, OPTEX, RELIABILITY, and SHEWHART procedures.

The ADX...

UNIX® User's Handbook, Second Edition
UNIX® User's Handbook, Second Edition

UNIX end-users desperately need an up-to-date reference guide with real depth: one that teaches UNIX commands and doesn't just list them! In UNIX User's Handbook, second edition, best-selling UNIX author Marty Poniatowski covers every topic UNIX users need to master-with exceptional clarity...


SharePoint 2010 Field Guide
SharePoint 2010 Field Guide

Hands-on solutions for common SharePoint 2010 challenges

Aimed at the more than 100 million licensed SharePoint 2010 users, this indispensable field guide addresses an abundance of common SharePoint 2010 problems and offers proven solutions. A team of authors encourages you to customize SharePoint beyond the out-of-the-box...

Handbook Of Industrial Automation
Handbook Of Industrial Automation
"…an excellent handbook on automation for manufacturing or industrial engineering." -- Ergonomics in Design

"…provides the essential concepts and methods required for solving technical and managerial problems…. "…a well presented and comprehensive reference text." --
...
Maintaining Team Performance (Center for Creative Leadership)
Maintaining Team Performance (Center for Creative Leadership)
Between the time a team is launched and the time it delivers results, managers need to know that the team is on course. Whether they have launched a team to achieve a business objective or have inherited a team, they need to monitor effectiveness on an ongoing basis and make course corrections that keep small problems from becoming major...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy