adicionar à lista de desejos
Piton eBook
A Mechanically Verified Assembly-Level Language
idioma: inglês
Editor:
SPRINGER NETHERLANDS, agosto de 2007 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
YUdocmExSlhWVTl5TlVwNU4xTnhSVEpuUVVsR00xaFhNV1ZTUVVOaU0wVlJVWEJEVFVSUWRtTjNialpPV2taVFlWWm5MM1ZwVEV0QlFsSkdZMDlYZEN0clFYSlViamQ2V1doaGRUY3dlbWt4U1dKTGMyaExiaTltY0Vock55ODRTbXhrVVdaeVdGZHhWRkZYUlRZMlpubFNTMGxxVDNGRU1UbGtjSGRqVTNsRFFYRkNWM3BQU0dOWFNITk1ZbGRVZEVOWWFWbFFia0l5VjNrdmVpdDJSVWxyV1V0VmREVjZaemg2VlZKak1IVmFWa1F3V2tNelJXdFVOR0phUkhCTEt6VjRXRzFIVFZkMFRsWmtPRTVETTBoTmJIZHZVblpuWlcxeU5FNU9NbTQ0UXpaRk0wYzRiWHBUVUU0NWVUbFVhMjFCYTBONVZUTm5iRlV4ZDB0amRETkpOMEpsV0d0TU1uRkZWbTFPTmxaUFNFUTBTVmRFVTNoc2RWZG1jSEZWV2xwcmJYZFVlbVpCYTFGaFdHTkpSRlJWYTA4d2JERk9hMFZtWlZwR1JWRktZV3BtVTJaWFYwWkxhR1JYVVZSaWJsSnJVREEwVmpVME9VSkhUbFZzWjJwWE0xWjNVbkJWTW5WS1pTdEpXbmhDY2xKb1dFNXlkRlJ6TldJNEsxcEtVWHBwZG1SS2JYcHJVM0psYTFFcldFbFpOME56UlM5WlUxSnpNblZHZURCeVpHVnhiWFJUYVZOYWFFNVlXbkZrVVM5T1MzUnFSMFZqVG1KWGFGRndaWGg1ZDNOdVNtVkRWMnBrUjFJeVNEWmxlVXhYZUZwaFlXazNibE42S3l0dVIwUnBLMkpNYzI5NFZDdGpNRWQ1Y1hoUVJEQTROWE12YmxNNFpIUjJaWEp3WmxKUE1FZHFOVTFtUTJ4WFdqaFliV05HVjJ3cmVrVXJlU3QxZUZFMmJsQlhNa0ZUZDBsTmFscEdiRGxHY2tGRFR6QTJjRFZJU1RkNVdEWnBUbEJ6WW5GM1JGSkZTa1kxUzFwdWVIcGlLMjVDWVZCQ1JtOU1TM1JqTkU1V04zZFljakZGYTJkaVVHczNZbFUxUVdGR09EUnhjamRMVTBkR2FVSTNNMjVVVWtaak5qZEdVemQyVDJGNGRWRk9TSEJRYUd0TWIwNURZa1puWVRWeWJGcHpjV05pTDBadWRURXpRbkkxU2tOeFEwTlFUR2g0VkZobGJVaFJZek0yWVZCbEsxTXJkRWxWV25ReFRWQjVSbm8zTkhwUk1pdHhhalIxV1M5clUyeGlVMk5IWjJkSmFWTnFjVGN3UFE9PTpONGtUWlFkY0phNjRSb21tREpXbDd3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780585336541 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | agosto de 2007 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Automated Reasoning Series |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9780585336541 |
LIVROS DA MESMA COLEÇÃO
-
Resolution Proof SystemseBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
Automated ReasoningeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO