Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 5,40
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Majestic Books, Hounslow, Reino Unido
EUR 32,30
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312 Illus.
Publicado por Cambridge University Press CUP, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 33,68
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312.
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 33,05
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312.
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642369634 ISBN 13: 9783642369636
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 39,79
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 200 | Sprache: Englisch | Produktart: Bücher.
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: BookHolders, Towson, MD, Estados Unidos de America
EUR 27,28
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First ] Publisher: Cambridge University Press Pub Date: 3/28/2000 Binding: Hardcover Pages: 322 First edition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,12
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,12
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 66,84
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642355501 ISBN 13: 9783642355509
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642369634 ISBN 13: 9783642369636
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Cambridge University Press, 2011
ISBN 10: 052115569X ISBN 13: 9780521155694
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 65,23
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,82
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,16
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,45
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,10
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,39
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer International Publishing, 2016
ISBN 10: 3319469681 ISBN 13: 9783319469683
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 64,04
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher.
Publicado por Cambridge University Press 2012-04-25, 2012
ISBN 10: 052115569X ISBN 13: 9780521155694
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
EUR 64,04
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 25,75
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSpiral-bound. Condición: Fine. Slight shelf wear. Active learning made easy with: objective questions, directed exercises, continuing problems and challenge problems. 154 pages. Size: 8vo - over 7¾" - 9¾" tall. Book.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 81,78
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 76,46
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 200.
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 64,08
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: 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.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,78
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 324.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 77,34
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2013 edition. 196 pages. 9.25x6.10x0.46 inches. In Stock.
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,49
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 79,27
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 321 pages. 9.25x6.00x0.75 inches. In Stock.
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Idioma: Inglés
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 66,84
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 77,74
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Springer International Publishing, 2016
ISBN 10: 3319469681 ISBN 13: 9783319469683
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 82,39
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering.