Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
by Jasmin Blanchette, Laura Kovács, Dirk Pattinson Paperback 2022
- Author: Jasmin Blanchette, Laura Kovács, Dirk Pattinson
- ISBN 13: 9783031107689
- ISBN 10: 3031107683
- Publication Year: 2022
- Language: English
Specifications
Index-103031107683
LanguageEnglish
Index-139783031107689
Period-
Class Track-
Publisher- (2022)
Pages-
✨ Readers also enjoyed...
C++ GUI Programming with Qt 3
C++ GUI Programming with Qt 4