Skip to content

Property-preserving Petri Net Process Algebra In Software Engineering

Property-preserving Petri Net Process Algebra In Software Engineering

Property-preserving Petri Net Process Algebra In Software Engineering

Property-preserving Petri Net Process Algebra In Software Engineering

by Hejiao Huang

  • New
  • Hardcover
Condition
New
ISBN 10
9814324280
ISBN 13
9789814324281
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Item Price
$130.53
Or just $117.48 with a
Bibliophiles Club Membership
$12.75 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Hardback. New. In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
The Saint Bookstore GB (GB)
Bookseller's Inventory #
A9789814324281
Title
Property-preserving Petri Net Process Algebra In Software Engineering
Author
Hejiao Huang
Format/Binding
Hardback
Book Condition
New New
Quantity Available
10
Binding
Hardcover
ISBN 10
9814324280
ISBN 13
9789814324281
Publisher
World Scientific Publishing Company
This edition first published
2012-03

Terms of Sale

The Saint Bookstore

Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

About the Seller

The Saint Bookstore

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2018
Southport, Merseyside

About The Saint Bookstore

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Glossary

Some terminology that may be used in this description includes:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-