|
Showing 1 - 5 of
5 matches in All Departments
|
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Paperback, 1st ed. 2019)
Luis Caires
|
R1,853
Discovery Miles 18 530
|
Ships in 10 - 15 working days
|
This open access book constitutes the proceedings of the 28th
European Symposium on Programming, ESOP 2019, which took place in
Prague, Czech Republic, in April 2019, held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2019.
|
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Paperback, 1st ed. 2018)
Christel Baier, Luis Caires
|
R2,157
Discovery Miles 21 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 38th IFIP WG 6.1
International Conference on Formal Techniques for Distributed
Objects, Components, and Systems, FORTE 2018, held in Madrid,
Spain, in June 2018, as part of the 13th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2018. The
10 full papers presented were carefully reviewed and selected from
28 submissions. The conference is dedicated to fundamental research
on theory, models, tools, and applications for distributed systems.
This volume constitutes the refereed proceedings of the 17th
International Conference on Concurrency Theory. Thirty full papers
are presented along with three important invited papers. Each of
these papers was carefully reviewed by the editors. Topics include
model checking, process calculi, minimization and equivalence
checking, types, semantics, probability, bisimulation and
simulation, real time, and formal languages.
|
|