ISBN 9783319602240 books & textbook
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... (Programming and Software Engineering)
Bouajjani, Ahmed Silva, Alexandra
Springer /2017-05-28 Paperback / 257 Pages
isbn-10: 3319602241 / isbn-13: 9783319602240
