Libros importados con hasta 50% OFF + Envío Gratis a todo USA  Ver más

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada modular compiler verification (en Inglés)
Formato
Libro Físico
Idioma
Inglés
N° páginas
250
ISBN
3540634061
ISBN13
9783540634065

modular compiler verification (en Inglés)

Müller-Olm (Autor) · springer publishing map · Libro Físico

modular compiler verification (en Inglés) - müller-olm

Libro Físico

$ 52.09

$ 54.99

Ahorras: $ 2.90

5% descuento
  • Estado: Nuevo
Se enviará desde nuestra bodega entre el Lunes 17 de Junio y el Martes 18 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 "modular compiler verification (en Inglés)"

this book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the inmos transputer. unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. the formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

Opiniones del libro

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

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