Artículos relacionados a Verified Software. Theories, Tools, and Experiments:...
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers: 11294 (Programming and Software Engineering) - Tapa blanda
Sinopsis
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Verified Software. Theories, Tools, and Experiments:...
Imagen de archivo
Verified Software. Theories, Tools, and Experiments. 10th International Conference, VSTTE 2018, Oxford, UK, July 1819, 2018, Revised Selected Papers.
Publicado por
Cham, Springer International Publishing., 2018
ISBN 10: 3030035913
ISBN 13: 9783030035914
Antiguo o usado
Tapa blanda
Original o primera edición
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Calificación del vendedor: 3 de 5 estrellas
1st ed. 2018. 16 x 24 cm. XVI, 345 S. XVI, 345 p. 83 illus., 10 illus. in color. (Lecture Notes in Computer Science; Programming and Software Engineering). Sprache: Englisch. Nº de ref. del artículo: 682VB
Comprar usado
EUR 13,00
Envío por EUR 30,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verified Software. Theories, Tools, and Experiments.
Publicado por
Cham, Springer., 2018
ISBN 10: 3030035913
ISBN 13: 9783030035914
Antiguo o usado
Tapa blanda
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Calificación del vendedor: 3 de 5 estrellas
xvi, 345 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Nº de ref. del artículo: 2776MB
Comprar usado
EUR 16,00
Envío por EUR 30,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verified Software. Theories, Tools, and Experiments (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 0aef61b6282820652373863729047ada
Comprar nuevo
EUR 46,22
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 33926981
Comprar usado
EUR 64,06
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verified Software. Theories, Tools, and Experiments
Publicado por
Springer International Publishing Nov 2018, 2018
ISBN 10: 3030035913
ISBN 13: 9783030035914
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full paperspresented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. 364 pp. Englisch. Nº de ref. del artículo: 9783030035914
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Verified Software. Theories Tools And
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783030035914
Comprar nuevo
EUR 69,33
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 33926981-n
Comprar nuevo
EUR 77,59
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Lecture Notes in Computer Science, 11294)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783030035914_new
Comprar nuevo
EUR 68,95
Envío por EUR 13,51
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 33926981-n
Comprar nuevo
EUR 68,18
Envío por EUR 17,95
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 33926981
Comprar usado
EUR 68,91
Envío por EUR 17,95
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles