This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is, the study of concurrent or communicating processes using an algebraic framework. The approach is axiomatic, and the authors consider structures that are some set of mostly equational axioms equipped with several operators. Thus, the term algebra is used in the model-theoretic sense. Nevertheless, the axiomatic approach enables one to organize the field of process theories and apply them systematically to a number of situations. The first article sets out the theory of ACP and is followed by descriptions of various protocols, and algorithms including communication protocols, a mutual exclusion algorithm, a CIM-architecture, systolic algorithms, and a distributed operating system. This book is essential reading for computer scientists and mathematicians working in parallel programming, concurrency, or distributed systems. It could be considered a companion volume to Process Algebra by J.C.M. Baeten and W.P. Weijland.

Read the rest of this entry

Python Essential Reference is the definitive reference guide to the Python programming language – the one authoritative handbook that reliably untangles and explains both the core Python language and the most essential parts of the Python library.
Designed for the professional programmer, the book is concise, to the point, and highly accessible. It also includes detailed information on the Python library and many advanced subjects that is not available in either the official Python documentation or any other single reference source.
Thoroughly updated to reflect the significant new programming language features and library modules that have been introduced in Python 2.6 and Python 3, the fourth edition of Python Essential Reference is the definitive guide for programmers who need to modernize existing Python code or who are planning an eventual migration to Python 3. Programmers starting a new Python project will find detailed coverage of contemporary Python programming idioms.
Read the rest of this entry

Management of the Object-Oriented Development Process consists of a series of high-level discussions on technical and managerial issues related to object-oriented development. This book introduces object-oriented development techniques, including modeling languages, programming languages, reusable patterns and software development processes. It discusses the ongoing trends of object-oriented development, including emerging e-business development frameworks, executable UML and requirements engineering. There is also a focus managerial issues such as project management and software evaluation, and how to manage the paradigm shift from structured to object-oriented development. Management of the Object-Oriented Development Process offers systems developers, project managers, information systems students and researchers technical skills as well as strategic insights on how to manage software projects, deploy object-oriented software development processes, understand the current trends and make the transition from structured to object-oriented techniques. Read the rest of this entry

Read the rest of this entry

 QuantumPM LLC “Microsoft(R) Office Project Server 2007 Unleashed”

Sams | English | 2007-11-01 | ISBN: 0672329212 | 1320 pages | PDF | 59 MB

  Read the rest of this entry