adicionar à lista de desejos
Piton eBook
A Mechanically Verified Assembly-Level Language
language: english
Publisher:
SPRINGER NETHERLANDS, August of 2007 ‧
see product details
59,61€
10% OFF
CARD
ZG1KMmRFOWlLeklyT0haSlZ6TllkVlZhTDFWcFFrTjBXakJxT1hvNFQzVXpjMHh0ZG0xWE1UY3hWemRVSzJwcU9EUkNiWEp2VjNKSVYxa3haWFJJWnpSemRHNDBSMDVUZEVkc2JuaFBkWEptZFhReFpqVnpXbEZNUkhaNFJtdzNkbXRqVTB3MldWVTJOMU55Y201M1UxTjJaR3RvY2tWclUwaGhZbkJ2ZWt0TEszVTBZbmhMYTBsTGVDdDNTM1UxTjBoalpEZ3JVekk0ZGs5dWJXTkhWMFl4VUZKNlkwNUhjREp0VGtWWlJtTTNaVGhwVkVRME5HMXZiRzlyYkVkRVREaHljVlZtYlhKYWVYVnJjVFp0U3psblVGcHZUWGhrVEZJNFdYRlFhVm95VjJjelYyNUJZMjFIZUZFdmFYUmFOek14YlRObFNuRlNNME5NTlM4NFRrcHFUM0kwT0U5UFdXSnZUamszVkU5M1NrNW5hMEppTW10clltbG1OazU2YjBkd2FsVTJSbU5oWjFCallVTkhhbTl4UTNsUGRuRkdTVmhMT1RFd0szRTRUM3BUYlZOTWVXaE5TRnBvVkVKVU9WWkhiV1JTZVhWSFNEVmxNVTR6YXpkeGIzZ3djbGMzVG1aMWMwRk1SMVIyTkhwM1pGbHZiRVJVZDA5dFMwSjVVRVl6YkRKbWRWQnhVMHhLWmpnMVVFeEdZMWR2V1RCR1YwaGlRWFpNY1ZGVWFGTnhNMng0U2xGT1VraFlTRzFRZWxSaWJqRk9SV0l4V1hOSGFFVlRVM3BEVTJOTVZFTnRZblp5Y0NzM01WRk9kRzlSZWxOb2R5dHFTQ3MwYTJ0MmJHTmlWbWhZUVhaRFR6UkxVVlZrUjB0WlYwOUNSbFpZTDA5MFIyOHljMlZQYjA5TFJFdDJPRXhtVVhKTVJTOTJMMnBIWnpsNVZrUnhhR1ZTUkdKT1QyMVhTMFZQY2tOemNWY3hSSEZOUkdwMmRrSlZSMjlGVkZOUWNYUkpaR2hwVFcxSWNsQjVhM0JPV21GeVlrMWhkVzVoTTAxSGFtSlZPR05HY1VJeFkxaHBlR1Z4U0VrelpIUk1hMEkyVkVoekwxQnBiVkJLWlVKVGNsQktVVWxRUmpGS2RXOTJVVkpZV21KbU1tMWFaelpWZUhwMU5VWnVTRmt5ZW10RGJsazRSbnBLYUZKYWVIY3lTRmhPY0RCNU1VRktXalZ4V25WamFtUkRURGQyU25sNFNsZGlNemhVV21oQlZXbzNSMW93TURCUWQyRnFaMWxEYURsSVEyRlJURTFMVDJab2Fqa3ZkazVOUFE9PTpnY0lJb3Q1K0lqTmJTNUhuWmdXcjBnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780585336541 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | August of 2007 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Automated Reasoning Series |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9780585336541 |
BOOKS FROM THE SAME COLLECTION
-
Resolution Proof SystemseBook10%SPRINGER NETHERLANDS118,59€ 10% CARD
-
Automated ReasoningeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD