Leavens gary (88 resultados)

- Tapa dura
Librería: Phatpocket Limited, Waltham Abbey, Reino UnidoPhatpocket Limited
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 3,88
Envío por EUR 12,31Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condició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.

- Tapa dura
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 3,50
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 orga…nizations.

Transactions on Aspect-oriented Software Development X
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Tanter, Éric (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 47,24
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Unread book in perfect condition.

Transactions on Aspect-oriented Software Development X
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Tanter, Éric (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,34
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.

Transactions on Aspect-Oriented Software Development IX
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Haupt, Michael (EDT); Ostermann, Klaus (EDT); Wohlstadter, Eric (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,34
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Leavens, Gary T. (EDT); O'hearn, Peter (EDT); Rajamani, Sriram K (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,96
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.

Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Leavens, Gary T. (EDT); O'hearn, Peter (EDT); Rajamani, Sriram K (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,07
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2010
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. 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 produ…cing 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. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,05
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condició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.

- Tapa dura
Librería: Basi6 International, Irving, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,05
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Tapa blanda
Librería: California Books, Miami, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 73,30
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,55
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,55
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,88
Envío por EUR 17,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.

- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 73,07
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 200.

Transactions on Aspect-oriented Software Development X
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Tanter, Éric (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,84
Envío por EUR 17,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 75,04
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 324.

Transactions on Aspect-Oriented Software Development IX
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Haupt, Michael (EDT); Ostermann, Klaus (EDT); Wohlstadter, Eric (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,54
Envío por EUR 17,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,89
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Transactions on Aspect-oriented Software Development X
Leavens, Gary T. (EDT); Chiba, Shigeru (EDT); Tanter, Éric (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,29
Envío por EUR 17,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,27
Envío por EUR 17,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New.

Transactions on Aspect-Oriented Software Development X
Leavens, Gary T. (Editor-in-chief)/ Chiba, Shigeru (Editor-in-chief)/ Tanter, Éric (Guest editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,03
Envío por EUR 11,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2013 edition. 196 pages. 9.25x6.10x0.46 inches. In Stock.

- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,20
Envío por EUR 11,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.

Transactions on Aspect-Oriented Software Development IX (Lecture Notes in Computer Science / Transactions on Aspect-O)
Chiba, Shigeru (Editor) / Leavens, Gary T. (Editor) / Ostermann, Klaus (Editor) / Wohlstadter, Eric (Editor) / Haupt, Michael (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,96
Envío por EUR 11,57Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2012 edition. 321 pages. 9.25x6.00x0.75 inches. In Stock.

- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,79
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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. . . . .

Transactions on Modularity and Composition
Chiba, Shigeru (EDT); Südholt, Mario (EDT); Eugster, Patrick (EDT); Ziarek, Lukasz (EDT); Leavens, Gary T. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 91,18
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: The BiblioFile, Rapid River, Estados Unidos de AmericaThe BiblioFile
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 79,12
Envío por EUR 14,71Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Spiral-bound. Condición: Very Good. Rare material. Light shelf wear. Pages fine. Active learning made easy with: objective questions, directed exercises, continuing problems and challenge problems. 154 pages. Insured post. Size: 8vo - over 7¾" - 9¾" tall. Book.

- Tapa dura
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 93,32
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. ix + 312.

- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 91,89
Envío por EUR 7,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. ix + 312 Illus.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,97
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.