你好! 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 introduction to process algebra
Type
Physical Book
Author
Publisher
Year
2010
Language
English
Pages
168
Format
Paperback
Dimensions
23.4x15.6x1 cm
Weight
0.25 kg.
ISBN
3642085849
ISBN13
9783642085840
Categories

introduction to process algebra

Wan Fokkink (Author) · Springer · Paperback

introduction to process algebra - Fokkink, Wan

Cheaper New Book Imported to Taiwan
Delivery: 08 Oct - 21 Oct Shipping: 12 to 16 business days.
NT$ 1,867
Faster New Book Imported to Taiwan
Delivery: 29 Sep - 07 Oct Shipping: 5 to 6 business days.
NT$ 2,391
NT$ 1,867

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

Go to My Wishlists
Calculate shipping cost

Synopsis "introduction to process algebra"

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.

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