Reiner Hähnle – författare
Automated Deduction in Multiple-Valued Logics
1 725 kr
Skickas inom 7-10 vardagar
2 156 kr
Skickas inom 10-15 vardagar
715 kr
Skickas inom 3-6 vardagar
771 kr
Skickas inom 5-8 vardagar
561 kr
Skickas inom 10-15 vardagar
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
561 kr
Skickas inom 10-15 vardagar
Active Object Languages: Current Research Trends
837 kr
Skickas inom 10-15 vardagar
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
561 kr
Skickas inom 10-15 vardagar
714 kr
Läs direkt efter köp
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.
SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Deductive Software Verification – The KeY Book
From Theory to Practice
1 335 kr
Skickas inom 10-15 vardagar
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
649 kr
Skickas inom 10-15 vardagar
544 kr
Skickas inom 10-15 vardagar
1 114 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
1 114 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
561 kr
Skickas inom 10-15 vardagar
516 kr
Skickas inom 10-15 vardagar
2 156 kr
Skickas inom 10-15 vardagar