Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Montali, Marco
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:Lecture Notes in Business Information Processing 56
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-14538-4
Search Result 1
ανά Montali, Marco
Έκδοση 2010
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο