Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: NEW.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: booksXpress, Bayonne, NJ, U.S.A.
Hardcover. Condition: new.
Published by Springer 11/1/2009, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Hardback or Cased Book. Condition: New. A Process Algebraic Approach to Software Architecture Design 1.38. Book.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: NEW.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by SPRINGER NATURE Nov 2009, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inthe eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, -calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif cult to learn and use by practitioners, as it is not close enough to the way they think of software systems. 304 pp. Englisch.
Published by Springer London Okt 2014, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inthe eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, -calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif cult to learn and use by practitioners, as it is not close enough to the way they think of software systems. 320 pp. Englisch.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer London Ltd, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Published by Springer London Ltd, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Published by Springer London Ltd, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW. This book presents a new paradigm that allows modeling and analysis of software applications at an early stage of the design process. It covers foundational aspects before introducing guidelines and methodologies to exemplify case studies. Num Pages: 319 pages, biography. BIC Classification: UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492. . 2014. Paperback. . . . .
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW. 2009. Hardcover. . . . . .
Published by Springer London, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inthe eldofformalmethodsincomputerscience,concurrencytheoryisreceiv inga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, -calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.
Published by Springer Nature Singapore, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inthe eldofformalmethodsincomputerscience,concurrencytheoryisreceiv inga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, -calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.
Published by Springer 2014-10, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by Springer London Ltd, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW. This book presents a new paradigm that allows modeling and analysis of software applications at an early stage of the design process. It covers foundational aspects before introducing guidelines and methodologies to exemplify case studies. Num Pages: 319 pages, biography. BIC Classification: UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492. . 2014. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer London, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a new paradigm that allows modelling and analysis of software applications at an early stage of the design processCovers foundational aspects before introducing guidelines and methodologies to exemplify case studies, thus facilitating pra.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. New.
Published by Springer London, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a new paradigm that allows modelling and analysis of software applications at an early stage of the design processCovers foundational aspects before introducing guidelines and methodologies to exemplify case studies, thus facilitating pra.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW. 2009. Hardcover. . . . . . Books ship from the US and Ireland.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: USED_ASNEW. Unread book in perfect condition.
Published by Springer, 2009
ISBN 10: 184800222X ISBN 13: 9781848002227
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: USED_ASNEW. Like New. book.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: USED_ASNEW. Unread book in perfect condition.
Published by Springer, 2014
ISBN 10: 1447157664 ISBN 13: 9781447157663
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: USED_ASNEW. Like New. book.