Featured
Compare webshops (2)
Pages: 218, Edition: 2015, Paperback, Springer
Prices were last updated on: 18-06-2026, 21:46
Springer
Formal Methods for Multicore Programming: 15th International School on the Design of...
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International...
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th...
Programming Languages and Systems: 35th European Symposium on Programming, ESOP 2026, Held...
Back to top