Overview
- | 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
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)
$56.30
(No reviews yet)
Write a Review
Write a Review
Springer
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)
Product Details
- 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
Categories
Paperback
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Tools And Algorithms For The Construction And Analysis Of Systems: 26Th International Conference, Tacas 2020, Held As Part Of The European Joint ... I (Lecture Notes In Computer Science, 12078)
Springer
$56.30
Tools And Algorithms For The Construction And Analysis Of Systems: 29Th International Conference, Tacas 2023, Held As Part Of The European Joint ... Ii (Lecture Notes In Computer Science, 13994)
Springer
$56.30
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 13243)
Springer
$56.30