Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 43,33
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: allemand
Edité par Bod - Books on Demand 4/2/2001, 2001
ISBN 10 : 3831117993 ISBN 13 : 9783831117994
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 47,02
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Parallel Programs as Petri Nets. Book.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 42,57
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 42,56
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 120,07
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 110,38
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 140,76
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 45,71
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 42,90
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 29,95
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : moluna, Greven, Allemagne
EUR 29,95
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
Langue: allemand
Edité par Bod - Books On Demand, Bod - Books On Demand, 2001
ISBN 10 : 3831117993 ISBN 13 : 9783831117994
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 29,95
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : preigu, Osnabrück, Allemagne
EUR 29,95
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Parallel Programs as Petri Nets | Bernd Grahlmann | Taschenbuch | 304 S. | Deutsch | 2001 | BoD - Books on Demand | 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 Print on Demand.