Importamos Historias - Libros con hasta 50% de dto  Ver más

Enviar a
Montevideo, Montevideo
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada refinement techniques in software engineering (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
393
ISBN
3540462538
ISBN13
9783540462538

refinement techniques in software engineering (en Inglés)

Libro Nuevo Importado
Envío: 15 a 21 días háb.
$ 4.179$ 2.089
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 2.089
Llega entre el 25 Sep y el 05 Oct a Montevideo, Montevideo. Seleccionar ubicación

Reseña del libro "refinement techniques in software engineering (en Inglés)"

this tutorial book presents an augmented selection of the material presented at the first pernambuco summer school on software engineering, psse 2004, held in receife, brazil in november/december 2004, jointly with the brazilian symposium on formal methods (sbmf 2004). the 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. the revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school?s attendees. the courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
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