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