| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... Notes in Computer Science, Band 10321) | 978-3-319-60224-0 (3-319-60224-1) | 2017 | Ahmed Bouajjani |
| Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected ... in Computer Science , Band 11456) | 978-3-662-59564-0 (3-662-59564-8) | 2019 | Sam Staton · Peter Sutton · Carla Umbach |
| Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday | 978-3-642-29484-6 (3-642-29484-7) | 2012 | Robert L. Constable |
A.S. · A. Silva · Alexandra Fonseca da Silva · Alexandra S. · Paula Alexandra Silva