Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 13,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 13,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 15,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 15,95
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Independently published, 2019
ISBN 10: 1700355988 ISBN 13: 9781700355980
Librería: Revaluation Books, Exeter, Reino Unido
EUR 5,26
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 45 pages. 9.00x6.00x0.12 inches. In Stock.
Idioma: Inglés
Publicado por Independently published, 2019
ISBN 10: 1679782304 ISBN 13: 9781679782305
Librería: Revaluation Books, Exeter, Reino Unido
EUR 5,26
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
EUR 17,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 11,80
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
EUR 14,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 14,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 16,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,70
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 55,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,01
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
EUR 58,19
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
EUR 16,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 60,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,41
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 65,31
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642203973 ISBN 13: 9783642203978
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 70,07
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2011th.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 16,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
EUR 55,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por VDM Verlag Dr. M�ller 2011-01-12, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Librería: Chiron Media, Wallingford, Reino Unido
EUR 53,32
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 55,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,53
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,53
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.