Cortá la semana con los mejores descuentos - Hasta 50% dto  Ver más

Enviar a
Montevideo, Montevideo
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
194
Encuadernación
Tapa Blanda
Dimensiones
27.9 x 21.6 x 1.0 cm
Peso
0.46 kg.
ISBN13
9781545492659

Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior (en Inglés)

William S. Chao (Autor) · Createspace · Tapa Blanda

Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior (en Inglés) - Chao, William S.

Libro Nuevo Importado
Envío: 19 a 25 días háb.
$ 1.772$ 1.152
-35%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 100 unidades

$ 1.152
Llega entre el 15 Jul y el 23 Jul a Montevideo, Montevideo. Seleccionar ubicación

Reseña del libro "Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior (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 among independent 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 systems definition.Operation-based multi-queue SBC process algebra (O-M-SBC-PA) is one of the six specialized SBC process algebras. In this book, we use O-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 O-M-SBC-PA.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes