Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[subject: programming-algorithms]”

Filters

₹
₹
Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

Paperback

₹5,153
₹5,288
₹5,288
₹5,288
(-3%)
₹5,153
₹5,153

• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...

View full details
Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

Paperback

₹5,659
₹5,778
₹5,778
₹5,778
(-2%)
₹5,659
₹5,659

• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...

View full details
Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

Hardcover

₹6,739
₹6,856
₹6,856
₹6,856
(-2%)
₹6,739
₹6,739

• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...

View full details
Tools and Algorithms for the Construction and Analysis of Systems by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

Hardcover

₹6,273
₹7,144
₹7,144
₹7,144
(-12%)
₹6,273
₹6,273

• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...

View full details
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe

Armin Biere

Paperback

₹2,911
₹4,477
₹4,477
₹4,477
(-35%)
₹2,911
₹2,911

• Author(s): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...

View full details
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe

Armin Biere

Paperback

₹2,911
₹4,477
₹4,477
₹4,477
(-35%)
₹2,911
₹2,911

• Author(s): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...

View full details
Home
Genres
Account
Chat