Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: BookHolders, Towson, MD, Estados Unidos de America
EUR 6,36
Cantidad 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 3,86
Cantidad 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 21,87
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Ammareal, Morangis, Francia
EUR 15,64
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. 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 organizations.
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 35,98
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Majestic Books, Hounslow, Reino Unido
EUR 31,78
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312 Illus.
EUR 26,01
Cantidad 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 31,16
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. ix + 312.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 47,47
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,60
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 68,99
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. 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 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. 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 72,12
Cantidad 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 72,12
Cantidad 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,64
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 58,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 58,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 052115569X ISBN 13: 9780521155694
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 66,01
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press 2012-04-25, 2012
ISBN 10: 052115569X ISBN 13: 9780521155694
Librería: Chiron Media, Wallingford, Reino Unido
EUR 64,26
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,41
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521771641 ISBN 13: 9780521771641
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 55,79
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like NewLIKE NEW. book.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 77,26
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2013 edition. 196 pages. 9.25x6.10x0.46 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364215056X ISBN 13: 9783642150562
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,43
Cantidad 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,20
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 321 pages. 9.25x6.00x0.75 inches. In Stock.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 90,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 81,42
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 82,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 100,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.