Order Total (1 Item Items):
Shipping Destination:
9783540673989 - Petri Net Algebra Monographs in Theoretical Computer Science an Eatcs Series by Best, Eike; Devillers, Raymond; Koutny, Maciej (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (3)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (14)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (6)
- Not Print on Demand (14)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Very Good. This book is in very good condition; small remainder mark to top edge. It does have some cover shelfwear. Inside pages are clean. ; 6.43 X 1.05 X 9.53 inches; 389 pages.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540673989.
-
hardcover. Condition: Very Good. Petri Net Algebra (Monographs in Theoretical Computer Science. An EATCS Series) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
-
hardcover. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
hardcover. Condition: new.
-
Petri Net Algebra
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 131.94
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Petri Net Algebra
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 167.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: As New. Unread book in perfect condition.
-
Petri Net Algebra
Language: English
Published by Springer Berlin Heidelberg, 2001
ISBN 10: 3540673989 ISBN 13: 9783540673989
Gebunden. Condition: New. A study of the relationship between Petri nets and process algebrasA detailed development of a formal model combining these two approachesSelf-contained and with full proofs and carefully chosen examplesIn modern society services and support pro.
-
Condition: New.
-
Petri Net Algebra
Language: English
Published by Springer, Berlin, Springer, 2001
ISBN 10: 3540673989 ISBN 13: 9783540673989
Buch. Condition: Neu. Neuware - In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be haviour.
