Name: Channel-Based Multi-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work (en Inglés)
Price: 17020.00 CLP
Availability: InStock
Author: Chao, William S.
ISBN: 9781544878270

portada Channel-Based Multi-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work (en Inglés)

Formato

Libro Físico

Autor

William S. Chao

Editorial

Createspace Independent Publishing Platform

Idioma

Inglés

N° páginas

188

Encuadernación

Tapa Blanda

Dimensiones

27.9 x 21.6 x 1.0 cm

Peso

0.45 kg.

ISBN13

9781544878270

Categorías

Cibernética y teoría de sistemas

Channel-Based Multi-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work (en Inglés)

William S. Chao (Autor) · Createspace Independent Publishing Platform · Tapa Blanda

Libro Nuevo

$ 17.020

$ 34.040

Ahorras: $ 17.020

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 05 de Agosto.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Channel-Based Multi-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work (en Inglés)"

The need for systems definition arises because any real-life system is inherently complicated. It is impossible to comprehend fully the intricate interaction of any system of the real world with its environment, or to define all its components and each of its details. Systems definition or system definition is an artifact created by humans to define what a system is.Process algebras are a diverse family of related approaches to the study of concurrent systems. Their tools are algebraic languages for the high-level description of interactions, communications and synchronizations between a collection of independent agents or processes. Process algebras also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences and observation congruence among processes. Accordingly, process algebra provides a perfect method for system definition.Channel-based multi-queue SBC process algebra (C-M-SBC-PA) is one of the six specialized SBC process algebras. In this book, we use C-M-SBC-PA to achieve the robust systems definition of a system. To see is to believe. Therefore, many examples are presented to help the reader fully understand the use of C-M-SBC-PA.