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
TlZkNWRYRk9aa1FyY0cxUWVsZzNhbEZTZWk4ek9WRTVTbWM1TmpGRVZVRlZiRTVZTW5CQ1RrZDFPR05wVVVodk9WTndMMVE0YWpseVJsSkJUaTlKYURNelNsZGFOelJoWWl0SlVrVndlV3huVUhodVZ5OW5XbHBRSzBsaFdHdHNTMU0yVVNzckwybG1Oblp6V0VoM1NEWnhNV1pMWkV0TFoyTm5Va1ptWlZkVmFsVjZNRmxhZFhCSllWZExUR1EzVDJsMGJEWXhaRkJ2VlZCdVdURlhjM0V3YWpGdFF6VnFUV05TUTNZelN5dHRUMFJpZG5vMGJXNUxlREZPV2pkMFoxVm5VR2s1ZGtSS04wSkpNa1JWYzBoelNIUmpkRmR2VkdOclVETXdNblpxZEdKT2N6QldVMDlTUWxsblpVWXhaVTg0VjBodllraEZSV3h2UzJaamFEbDZjWE5KYkVoUmFDOUdkQzlHVTBWeFZHVTJhWEJzWTNOUFptSm1lR013TkZWRE0yNW1OMVl5T1dSVmNHb3JhelpRVjJoeWRrNHZWWFU0UldWNFIwTjJiVmQwUVhaSGR5OVFiUzlSVTBNeGVHNVJja2wxT0VGRWFHTTBWMFJ1Y0VwUmJYWnJTR1pHTVcxMUx6bEtZVUpGUjNWaVIwRjRZMHhqTWxCU1MzVkNkVmwxZEZObmNXeEhlR2xsVG5GeVlVd3hZMHh4THpsbldVeFJTMGMzV1N0MlF6TmpLMHcyZGsxYU5rcDVTVWxrUW5GcE4ybEJVVWM0UkdGUVVFTkpTVVJxS3paSWFsUlhUWE5UVW1wbFJrOWlWblJVVkUwMGREVndTM1pYV2trNU5UaEJOeXRyVEVGSVluRTVaVFpWUmtST2JVeFBiRFowV2pKb1RWbDRiWGxoYnpaYWMybFJlV1p6VVZWRVVUQjRlazVVYzI5RVdVcHNVbkZxVlV0TFIybEVjek5UZVdKeFdrOXNhVkV4YjBGcGFUVlNRalYxY0ROQll6UlVRbkZZVHpsUU5VVnpSeXRVT0hkaFRFRTFlaXQ0WWxCRVJIZFRUbUpIUjNFdlEzbDZRekV4T0hweVdYQXlOMUpSTkhGNk4xVmtTbmRxT0hsSWVFMU9VMmhRUzNwVk56VTBhSE40UlhBeE5WZDVOR1Z1U21FclZrcEdLMlZRZDFGaGEyZFVZMkUyU3pCRFprMVlXRkJ5VVU4eGJHOTVhRmt5ZGsxNFJDOUVRMkpQZG1jelZqbGlURkkyYVVSMGVIZGtTMkYxUzNWNlVVTXhkMGx2VEdoWmJuWnpORFZzV0hSVE1qSlpXbE5qUFE9PTpnU016TWJaWXAxNEIvSFhZSXlydmJBPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780585336541 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | August of 2007 |
| Language: | English |
| Format: | eBook |
| Collection: | Automated Reasoning Series |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9780585336541 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Resolution Proof SystemsSPRINGER NETHERLANDS118,59€ 10% CARD
-
eBook10%Automated ReasoningSPRINGER NETHERLANDS118,59€ 10% CARD