1. Specification and verification of declarative open interaction models :
Author: Marco Montali
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
Classification :
QA76
.
9
.
L63
M66
2010
