Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
EUR 18,00
Cantidad disponible: 2 disponibles
Añadir al carritoXVII, 142 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Networks and Systems, 45. Sprache: Englisch.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 61,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,72
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,24
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 303020460X ISBN 13: 9783030204600
Librería: Revaluation Books, Exeter, Reino Unido
EUR 77,43
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 160 pages. 9.25x6.10x0.38 inches. In Stock.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 86,25
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, 2019
ISBN 10: 303020460X ISBN 13: 9783030204600
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 303020460X ISBN 13: 9783030204600
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised by the parallel execution of actions. However, the task description differs from that of Petri nets. The algebra is a quasi-semiring, 'quasi' because of its somewhat restricted distributivity axiom. Expressions of this algebra, the cause-effect structures, have a graphic presentation as nets, but with one kind of named nodes, each annotated by two expressions that specify the type of signal reception from predecessors and transmission to successors. Many structural and behavioural properties are stated with proofs, and illustrative sample tasks are included. The book is intended for all those interested or involved in parallel and distributed computing - students, researchers and practitioners alike.
Librería: preigu, Osnabrück, Alemania
EUR 50,40
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Cause-Effect Structures | An Algebra of Nets with Examples of Applications | Ludwik Czaja | Taschenbuch | Lecture Notes in Networks and Systems | xvii | Englisch | 2019 | Springer | EAN 9783030204600 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 110,22
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 58,21
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Idioma: Inglés
Publicado por Springer International Publishing Mai 2019, 2019
ISBN 10: 303020460X ISBN 13: 9783030204600
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised by the parallel execution of actions. However, the task description differs from that of Petri nets. The algebra is a quasi-semiring, 'quasi' because of its somewhat restricted distributivity axiom. Expressions of this algebra, the cause-effect structures, have a graphic presentation as nets, but with one kind of named nodes, each annotated by two expressions that specify the type of signal reception from predecessors and transmission to successors. Many structural and behavioural properties are stated with proofs, and illustrative sample tasks are included. The book is intended for all those interested or involved in parallel and distributed computing - students, researchers and practitioners alike. 160 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 78,97
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 79,40
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Springer, Springer VS Mai 2019, 2019
ISBN 10: 303020460X ISBN 13: 9783030204600
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised by the parallel execution of actions. However, the task description differs from that of Petri nets. The algebra is a quasi-semiring, ¿quasi¿ because of its somewhat restricted distributivity axiom. Expressions of this algebra, the cause¿effect structures, have a graphic presentation as nets, but with one kind of named nodes, each annotated by two expressions that specify the type of signal reception from predecessors and transmission to successors. Many structural and behavioural properties are stated with proofs, and illustrative sample tasks are included. The book is intended for all those interested or involved in parallel and distributed computing ¿ students, researchers and practitioners alike.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.