List of Successes That Can Change the World
This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the...
EAN: 9783319309354
Theory and Practice of Formal Methods
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th...
EAN: 9783319307336
Languages and Compilers for Parallel Computing
Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational...
EAN: 9783319297774
Engineering Trustworthy Software Systems
EAN: 9783319296272
Verified Software: Theories, Tools, and Experiments
EAN: 9783319296128
Software Engineering
Since its inception in 2004, the LASER Summer Schoolhas focused on an important software...
EAN: 9783319284057
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the18th International Symposium on Practical...
EAN: 9783319282275
Mathematica®: A Problem-Centered Approach
An introduction to the vast array of features and powerful mathematical functions of Mathematica...
EAN: 9783319275840
Testing Software and Systems
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference...
EAN: 9783319259444
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Formal...
EAN: 9783319254227
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 13th International Symposium on Automated Technology...
EAN: 9783319249520
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD,...
EAN: 9783319264271
Runtime Verification
The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3...
EAN: 9783319238197
Euro-Par 2015: Parallel Processing
This book constitutes the refereed proceedings of the 21st International Conference on Parallel...
EAN: 9783662480953
Search-Based Software Engineering
The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of...
EAN: 9783319221823
Model Checking Software
This book constitutes the refereed proceedings of the 22nd International Symposium on Model...
EAN: 9783319234038
Tests and Proofs
This book constitutes the refereed proceedings of the 9th International Conference on Tests and...
EAN: 9783319212142
Theory and Practice of Model Transformations
This book constitutes the refereed proceedings of the 8th International Conference on Model...
EAN: 9783319211541
Modelling Foundations and Applications
Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented...
EAN: 9783319211503
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for...
EAN: 9783319194578
