Resultados de búsqueda - "SPARK (Computer program language)"

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. Imagen de Portada

    Co-Developing Programs and Their Proof of Correctness. por Chapman, Roderick, Dross, Claire, Matthews, Stuart, Moy, Yannick

    Publicado en Communications of the ACM (Mar2024)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    A Unified Cloud Platform for Autonomous Driving. por Liu, Shaoshan, Tang, Jie, Wang, Chao, Wang, Quan, Gaudiot, Jean-Luc

    Publicado en Computer (00189162) (Dec2017)

    Ver este registro en EBSCOhost
    Artículo

Herramientas de búsqueda: