Showing 1 - 1 results of 1 for search 'Pnueli, Amir', tempo de consulta: 0.01s Limitar resultados
  1. 1
    The Temporal logic of reactive and concurrent systems
    por Manna, Zohar, Pnueli, Amir
    Publicado 1992
    Printed Book
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura