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. Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, 3030636178, 9783030636173

10 $

English | 2021 | PDF

number
type
  • {{value}}
wait a little
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers