Andere Kunden interessierten sich auch für
![Logic, Language, Information, and Computation]( "Logic, Language, Information, and Computation")
Logic, Language, Information, and Computation37,99 €![Tests and Proofs]( "Tests and Proofs")
Tests and Proofs95,99 €![Dynamic Logic. New Trends and Applications]( "Dynamic Logic. New Trends and Applications")
Dynamic Logic. New Trends and Applications41,99 €![Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]( "Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications")
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications126,99 €![Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]( "Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications")
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications110,99 €![Logic, Language, Information, and Computation]( "Logic, Language, Information, and Computation")
Logic, Language, Information, and Computation49,99 €![Larisa Maksimova on Implication, Interpolation, and Definability]( "Larisa Maksimova on Implication, Interpolation, and Definability")
Larisa Maksimova on Implication, Interpolation, and Definability37,99 €
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.
The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.
The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.