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
VEdrME4weDRkR1ZLTDBObmJGQXpSV0o1V0dOS1YyZ3hXRVYyVWxkbVJWbG1iekJDUVRaYWFUVlZXVUl5UlVselNHSnpNblZNUkU1UU9IbFhXWFpDYjJjM09VMXZNVXh5T1RSUGVHZDVRbmx2YW5SbVMwdE9UMkpTVVc5eU5Hb3lTMHBzYkRkSkwyWlJkRzk0Tld0dlNqRktXazFFUVdGYU4weFFNbmd5UzFscU1XTjVjVlJOY0RkV05HeFNPREl2YUV4MmQyTmxZbU41T1ZReGNUWmFlVVJ2Y1ZBeVlUSnZia0ZTU0VWVk1HNWpObGxEVGxabVVqVkJNV3B4TDFWbldIZ3pNSFY2V2tKR2Iwa3lRbnA1VDJkTVRrVjNTVTlHVURSbVJqSlViMFJtV1ZObVpUZG5XSE4yYWtKcWVHaE1WREZDVldJMVFYcDJjR2xqVkd0MlZYcEhObWRFZVhGeFVpOU5NR3RTU0hFMk4wNHZPVGhHTDNneVFXMXhUMnBtV1U1NFVEVTVSRTFwU0dsT2FIRlJUVVZ1VDNwWk5VRjRlbFZyTldsTlFYRk5ZVkphY25GNmFERTJOSGxUT0RaaGJVNWFSVmxvUmtWNU1WRnRMMk56YjJKb1MzcGhkVmxDWkd4QkwyZHBObkZXYUhsU1FXVjRjMUJWVVdwNVN6TlZVbHBsUVRrelREZ3pVVlV2UW10dVVWQlFNR1V5VlhFNVVGTmxPVUpGYWtoRlNFZHhlbkl3YlROT01XeFJRbXBsVUN0UGFFRjFXbmd3TjAwdk5tSkZTRkV3U3pGVlUzaG1kak5NT0RCQlV6TkxXVWRUTVZWVE1FRXlhWHBLYlRjMk5sZzNUM3BZVWt0b1JGQkpLek5RWW05eGFqTlZkMHRZWm1wT1ZsUnZZMGxxTUU5elRXTnhNR3hHY0VSek1ISklXVGRWVUZWNWIwZGFSVXRPTDI1U05tNHdUVlZOUTFrNFNGSTJjRTRyV25nNVdIRllaWHBSYlRobWVraE5iVUo0VkhOaE0zbzRjV3BrU21SSFpEZEtSa3hKYlVkS09GZEVZM1JLY1hoTFdFeFpVV3A1VkRBemRDOVFVbFZJZEU5YVVYSTJURVpGTkdJeVFqWjNWemtyZGxGelZXMXZMM2xCT1VKcVpIVm5SRlpGUjFRNVJWSm9PWEZvWm5veWFVWXlaRlV4YTFVdmEwcGxWRzVIZVZseFpIbDFSSGREU1VsSE5tMU5NR0p4UjA4NWQyNTBhbHAyZUhRd1EyVjNhSGx3ZDFSbmNWTllSMGRCV0VvMVlUTXJia2QxTVd0aGNuSjRWRFJSUFE9PTovOEFmWitvVlVpclU1NVIxYTRUdTh3PT0=
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