Programação

Piton

A Mechanically Verified Assembly-Level Language

de J Strother Moore 

eBook
Bertrand.pt - Piton
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: agosto de 2007
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. This work describes the specification and proof of a compiler for this realistically complicated assembly-level language.

Da mesma coleção

ver +
Resolution Proof Systems
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Automated Reasoning
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Piton
A Mechanically Verified Assembly-Level Language
de J Strother Moore 
ISBN:
9780585336541
Ano de edição:
08-2007
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Automated Reasoning Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Informática  >  Programação

EAN:
9780585336541
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.