von: Holger Giese · Grigore Rosu
Taschenbuch
ISBN-13: 978-3-642-30792-8
ISBN-10: 3-642-30792-2
Springer · 2012
|
|
von: Holger Giese · Grigore RosuTaschenbuch
ISBN-13: 978-3-642-30792-8 ISBN-10: 3-642-30792-2 Springer · 2012 |
| S. auch (eventuell von anderen Autoren): | ||
| 2013 | Taschenbuch | Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science / Progr |