你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Operation-Based Single-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work
Type
Physical Book
Author
Publisher
Language
English
Pages
184
Format
Paperback
Dimensions
27.9x21.6x1 cm
Weight
0.44 kg.
ISBN13
9781545242841
Categories

Operation-Based Single-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work

William S. Chao (Author) · Createspace · Paperback

Operation-Based Single-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work - Chao, William S.

New Book Imported to Taiwan
Delivery: 29 Sep - 12 Oct Shipping: 16 to 20 business days.
NT$ 787
NT$ 787

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Operation-Based Single-Queue SBC Process Algebra For Systems Definition: General Architectural Theory at Work"

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 system definition.Operation-based single-queue SBC process algebra (O-S-SBC-PA) is one of the six specialized SBC process algebras. In this book, we use O-S-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-S-SBC-PA.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews