Vuelta al cole con Buscalibre 5% dto  Ver más

Enviar a
Provincia de Madrid
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada verified software: theories, tools, experiments (en Inglés)
verified software: theories, tools, experiments (en Inglés)verified software: theories, tools, experiments (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
546
ISBN
3540691472
ISBN13
9783540691471
Categorías

verified software: theories, tools, experiments (en Inglés)

Libro Nuevo Importado
Envío: 11 a 16 días háb.
109,23 €98,31 €
-10%
Libro Nuevo

Quedan más de 100 unidades

98,31 €
Llega entre el 23 Sep y el 05 Oct a Provincia de Madrid. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "verified software: theories, tools, experiments (en Inglés)"

this state-of-the-art survey is an outcome of the first ifip tc 2/wg 2.3 working conference on verified software: theories, tools, experiments, vstte 2005, held in zurich, switzerland, in october 2005. this was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. the book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the verifying compiler. most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. the papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

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