Name: Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés)
Price: 52.09 USD
Availability: InStock
Author: Gurfinkel, Arie ; Seshia, Sanjit A.
ISBN: 9783319296128

portada Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Gurfinkel, Arie ; Seshia, Sanjit A.

Idioma

Inglés

N° páginas

223

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.3 cm

Peso

0.34 kg.

ISBN13

9783319296128

Categorías

Compiladores e intérpretes
Ciencias de la computación

Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés)

Gurfinkel, Arie ; Seshia, Sanjit A. (Autor) · Springer · Tapa Blanda

Libro Físico

$ 52.09

$ 54.99

Ahorras: $ 2.90

5% descuento

Envío Express Gratis

Se enviará desde nuestra bodega entre el Jueves 13 de Junio y el Viernes 14 de Junio.

Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés)"

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés) - Gurfinkel, Arie ; Seshia, Sanjit A.

Reseña del libro "Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre