In the name of Allah the Merciful
search results

search results

Sign in
0
{{item.title}} {{item.subtitle}}
{{item.total|number}} Toman
حذف
ثبت و نهایی کردن سفارش
Your download basket is empty
  1. Home
  2. Products
  3. Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers

Akash Lal, Stefano Tonetta, 9783031258022, 9783031258039

10 $

English | 2023 | PDF

number
type
  • {{value}}
wait a little
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers