Listar por:

Autor

 

Ordenar por:Orden:Resultados:

  • Manna, Zohar (1974)
    Chapter 1: Computability -- Chapter 2: Predicate calculus -- Chapter 3: Verification of programs -- Chapter 4: Flowchart schemas -- Chapter 5: The fixpoint theory of programs.
 
 

Lima 775 - C1073AAO
Ciudad Autónoma de Buenos Aires

 

Sede Recoleta: Libertad 1340 - C1016ABB
Ciudad Autónoma de Buenos Aires

 

Campus Costa Argentina: Av. Intermédanos Sur 776
Pinamar, Provincia de Buenos Aires

 
 
 

Carreras acreditadas nacional e internacionalmente