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
ZVRWb01ua3hhSGt2V0c1NVpqRlpXRzU2VGpOU1RXMVpSRFJrWjBzeGIwVkxNRkJNZFdwdlRqVlRNbmN3U21Ka1VYbG5RVEpRTWk5MVNrOUZlRloxWjJsbGVFRnBZMFF3WjFFMVMxQlpTRmd4YmxKVmNuVnVURmgzT0haWE9HTlVhbmgwVkhsQ2J6VTBMM2x5ZVVwcWRIRmpjbmxCVVdWWE1XSnJkSE5QV21KUGFGZDRSbk5FWkRaVFpUZHNjbEZWYzBOalZsVlFkWEpXTDB3eFptRXJVMnBSTUVGQ2QxQnNSbWxhUTNCNlpEaERRbEF3UjNZd2VEYzFUams0Y2l0aU5FVmhlR2hxYUdsNmNYQkVabXBuU0hOS2NqQXZjU3RyYjBrNVpHMUliRFI0WTB4aFdWQlRVbUZ5TVRWSllWVTRaRVppY0V0dU9ESjNSRVZaV2tKSmNHRktZM051TVhCRmVuUktVRkZJUVVnM2NXTk1OR0pVYW5WRVJuVXhNRU5LZVhSMllXRjVPVko2TmtWbFVVWXJjMGRsUzA5aFVDOXdRakJwVjFKbFlVUnJZV2huTTBaSmVITnNVRloxTjBOa1lYaFJkVUU1UVZGNFlsUnlVMEp5VTNZdlRuQjViVXQ0TWtNd1VVUkhNRkZKYTNkWWEwSmpZWHBUUmtKaFZXczRVM2c0VVU1dlpUSjFSVGhsUWtwWVZuWlZhWEpxWkVKaU5HYzFXbnB3WlhSc1REWnJUVXhUUVZad04wTkVTSE5rTmxkcWJESmlNME5hUWxWSVJEVlJRMnhKZDNSa01EVnZMM0Z6UWtaQ1NUUkpjVVZqY1RSMWJHdExWeTlXV1hkTGIyRkxaMVZsUlcxck0wTnpVREZGVnpkRlNsVkJlVXBuZVROWE9HZG1lSGR1UXpsaU4ydEtNeTh6VG0weE9HZGlZVXgwTkhkSU5HMW1SM3BuV25vM2FtTjRWbXgyZG5OclUwWlFjblJvV1RsYVZsUjNOSEJPYVVScmNuZzNaREZCTlZoUkwxQXJOR05TUm1OWFFsUXpaVFkyV25Sbk9VSmtMekkwSzIxeU1FVTVkRXRhTTFkYU1EUlRNbmhHY0U1NloyMXNkR05TY0VWUVFuTlBVRkI1YjBSaldXMHZia2N5VW5WcUx6RkRhalpGTmt0ak1tNTRkRGxyWlVwR04xRndSSFV4WVd3NVltZ3pNR3QyUzFGVllUWkhRazB2TUVoMmRVazBjV0pDSzJSRlJubERUemhZTjBoMWNHWXhiSFE0U1ZZMGJFWTNRbXR6UWxGU1NucFFSVGxJVldoT2VUWnFjRVJaUFE9PTp4d1BqVEE4NlJxVGpJbDFCMG1ab0dnPT0=
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 |
| Coleção: | Automated Reasoning Series |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9780585336541 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Resolution Proof SystemsSPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
eBook10%Automated ReasoningSPRINGER NETHERLANDS118,59€ 10% CARTÃO