Declarative Diagnosis of Temporal Concurrent Constraint Programs

October 5, 2017 | Autor: Frank Valencia | Categoria: Abstract Interpretation, Logic Programming, Concurrent Constraint Programming
Share Embed


Descrição do Produto

Lihat lebih banyak...

Comentários

Copyright © 2017 DADOSPDF Inc.