Tools And Algorithms For The Construction And Analysis Of Systems: 26Th International Conference, Tacas 2020, Held As Part Of The European Joint ... Ii (Lecture Notes In Computer Science, 12079)
Springer
ISBN13:
9783030452360
$56.30
- | Author: Armin Biere, David Parker
- | Publisher: Springer
- | Publication Date: Apr 18, 2020
- | Number of Pages: 448 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030452360
- | ISBN-13: 9783030452360
- Author:
- Armin Biere, David Parker
- Publisher:
- Springer
- Publication Date:
- Apr 18, 2020
- Number of pages:
- 448 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030452360
- ISBN-13:
- 9783030452360