An axiomatic approach to computing models: the sorting machine

• Autores: M. Alderighi, E. Binaghi, G. Pacinotti, G.R. Sechi
• Localización: Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.), 1988, págs. 142-146
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this work we use axiomatic theories in designing real computational systems, with the aim of formulating and proving the correctness of the computation. We [...]