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