eBook
Slicing Concurrent Constraint Programs
| Τίτλος: | Slicing Concurrent Constraint Programs |
|---|---|
| Συγγραφείς: | Falaschi, MorenoAff15, Gabbrielli, MaurizioAff16, Olarte, CarlosAff17, Palamidessi, CatusciaAff18 |
| Συνεισφορές: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Hermenegildo, Manuel V, editorAff13, Lopez-Garcia, Pedro, editorAff14 |
| Πηγή: | Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers. 10184:76-93 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| ISBN: | 9783319631387 9783319631394 |
|---|---|
| DOI: | 10.1007/978-3-319-63139-4_5 |