Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs
2012 Dominic P. Mulligan;Claudio Sacerdoti Coen
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis
2014 Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Antoine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs | Dominic P. Mulligan;Claudio Sacerdoti Coen | 2012-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis | Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Anto...ine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile