Frete Grátis
  • Google Plus

The Secd Microprocessor (Cód: 6326552)

Brian T. Graham

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 1.174,90 R$ 881,20 (-25%) em até 10x de R$ 88,12 sem juros
Cartão Saraiva R$ 837,14 (-5%) em até 1x no cartão ou em até 12x de R$ 73,43 sem juros
Grátis

Cartão Saraiva

Descrição

The SECD Microprocessor is a substantial case study in hardware specification and verification. The subject is a silicon implementation of Landin's SECD machine, which is transformed into a
layout, formally specified, and partially verified using the HOL proof assistant. It is important as a nontrivial worked example, clearly describing the organization and execution of the correctness of proof, and by making
the sources available, will be helpful to those considering the use or learning about the application of formal methods. The architecture is designed to provide support for functional programming, with complex
machine instruction to support recursive definitions and function calls. This considerably raises the complexity of the state transitions to be verified, and an abstract data type and operations are introduced to express
the specification. The SECD Microprocessor illustrates what formal methods can achieve today, not only by some expert elite, but by anyone prepared to carefully consider the problems at
hand.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9780792392453
Altura 23.40 cm
I.S.B.N. 9780792392453
Profundidade 1.27 cm
Referência 9780792392453
Ano da edição 1992
Idioma Inglês
Número de Páginas 196
Peso 0.45 Kg
Largura 15.60 cm
AutorBrian T. Graham

Avaliações

Avaliação geral: 0

Você está revisando: The Secd Microprocessor