Order Total (1 Item Items):
Shipping Destination:
Grahlmann Bernd (12 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- 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 (9)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (12)
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 (9)
- Not Print on Demand (7)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Parallel Programs as Petri Nets -Language: german
Language: German
Published by Bod - Books on Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Condition: New.
-
Parallel Programs as Petri Nets (Paperback or Softback)
Language: German
Published by Bod - Books on Demand 4/2/2001, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Paperback or Softback. Condition: New. Parallel Programs as Petri Nets. Book.
-
Parallel Programs as Petri Nets -Language: german
Language: German
Published by Bod - Books on Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Taschenbuch. Condition: Neu. Parallel Programs as Petri Nets | Bernd Grahlmann | Taschenbuch | 304 S. | Deutsch | 2001 | Books on Demand GmbH | EAN 9783831117994 | Verantwortliche Person für die EU: Schenk, Maria, Maria Schenk, Kelebek Verlag, Franzensbader Str. 6, 86529 Schrobenhausen, maria-schenk[at]gmx[dot]de | Anbieter: preigu.
-
Parallel Programs as Petri Nets -Language: german
Language: German
Published by Bod - Books on Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Parallel Programs as Petri Nets -Language: german
Language: German
Published by Bod - Books on Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Condition: As New. Unread book in perfect condition.
-
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Parallel Programs as Petri Nets
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 34.66
£ 5.02 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Parallel Programs as Petri Nets
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book gives a Petri net based solution to the challenge of simulation, analysis and verification of parallel programs. The presented formal definition of compositional high-level Petri net semantics for B(PN) (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN) and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets.All related issues are covered:1. The algebra of M-nets is extended2. References relating parts of the programs with parts of the resulting nets are introduced3. Its implementation in the PEP tool is described4. Examples (including verification) are given5. An extension to hybrid systems is shown 304 pp. Deutsch.
-
Parallel Programs as Petri Nets
Language: German
Published by BoD - Books on Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Über den AutorBernd GRAHLMANN is an expert for requirements management and DOORS offering trainings and consultancy. Within the last 3 years he was global manager first for DOORS and then for all of requirements management for Gener.
-
Parallel Programs as Petri Nets
Language: German
Published by Bod - Books On Demand, Bod - Books On Demand, 2001
ISBN 10: 3831117993 ISBN 13: 9783831117994
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book gives a Petri net based solution to the challenge of simulation, analysis and verification of parallel programs. The presented formal definition of compositional high-level Petri net semantics for B(PN) (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN) and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets.All related issues are covered:1. The algebra of M-nets is extended2. References relating parts of the programs with parts of the resulting nets are introduced3. Its implementation in the PEP tool is described4. Examples (including verification) are given5. An extension to hybrid systems is shown.
