عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 M66 2010
QA76
.
9
.
L63
M66
2010
کتابخانه
محل استقرار
3642145388
9783642145384
364214537X
9783642145377
b423622
Specification and verification of declarative open interaction models :
[Book]
a logic-based approach /
Marco Montali
1 online resource (xxii, 411 pages)
Lecture notes in business information processing ;
56
Includes bibliographical references and index
pt. 1. Specification -- part 2. Static verification -- part 3. Run-time and a-posteriori verification -- part 4. Conclusion and future work
0
Springer
978-3-642-14537-7
Specification and verification of declarative open interaction models.
9783642145377
Computational intelligence
Computer logic
Declarative programming languages
Information technology
Management information systems
Business
COM-- 037000
005
.
101/5113
22
QA76
.
9
.
L63
M66
2010
Montali, Marco
20170726082033.0
pn
مطالعه متن کتاب [Book]
Y
