Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 3,88
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 052115569X ISBN 13: 9780521155694
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 67,95
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,39
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 196 pages. 9.25x6.10x0.46 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,52
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,30
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 321 pages. 9.25x6.00x0.75 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 85,05
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 91,79
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. ix + 312 Illus.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. ix + 312.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 052115569X ISBN 13: 9780521155694
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Articles, originally published in 2000, by experts including theoretical frameworks and models plus case studies and findings. Editor(s): Leavens, Gary T.; Sitaraman, Murali. Num Pages: 324 pages, black & white illustrations, figures. BIC Classification: UMN; UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 17. Weight in Grams: 570. . 2012. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Anbieter: moluna, Greven, Deutschland
Zustand: New. Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 104,59
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642369634 ISBN 13: 9783642369636
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems.This volume, the 10th in the Transactions on Aspect-Oriented Software Development series, contains revised, extended versions of the top five papers presented at AOSD 2012. The topics covered include debugging, analysis of software product lines, distributed software architectures, and empirical study of language support for software evolution.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642355501 ISBN 13: 9783642355509
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems.This volume, the 9th in the Transactions on Aspect-Oriented Software Development series, contains three regular submissions and two special sections, each consisting of two papers. The papers focus on the following topics: modularization, pointcut language, dynamic adaptation, event-based programming, aspect-aware design, system software, object composition and templates.
Taschenbuch. Zustand: Neu. Transactions on Aspect-Oriented Software Development IX | Gary T. Leavens (u. a.) | Taschenbuch | xiv | Englisch | 2012 | Springer | EAN 9783642355509 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Transactions on Aspect-Oriented Software Development X | Gary T. Leavens (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642369636 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Veri ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti c and technical challenges of producing veri ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri cation techniques, speci cation languages, formal calculi, veri - tion tools, solutions to challenge problems, software design methods, reusable components, re nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci edinthecallforpapers,authorssubmitted15-pagepaperselectr- ically. The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
Taschenbuch. Zustand: Neu. Transactions on Modularity and Composition I | Shigeru Chiba (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2016 | Springer | EAN 9783319469683 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319469681 ISBN 13: 9783319469683
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems.This volume, the 10th in the Transactions on Aspect-Oriented Software Development series, contains revised, extended versions of the top five papers presented at AOSD 2012. The topics covered include debugging, analysis of software product lines, distributed software architectures, and empirical study of language support for software evolution.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 052115569X ISBN 13: 9780521155694
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into practice.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319469681 ISBN 13: 9783319469683
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 119,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 150,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Articles, originally published in 2000, by experts including theoretical frameworks and models plus case studies and findings. Editor(s): Leavens, Gary T.; Sitaraman, Murali. Num Pages: 322 pages, 29 b/w illus. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 228 x 152 x 25. Weight in Grams: 750. . 2000. hardcover. . . . . Books ship from the US and Ireland.
EUR 151,95
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 312 pages. 10.50x7.50x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Articles, originally published in 2000, by experts including theoretical frameworks and models plus case studies and findings.