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]”

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe by Bernd Finkbeiner

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

Bernd Finkbeiner

Paperback

₹2,907
₹4,471
₹4,471
₹4,471
(-35%)
₹2,907
₹2,907

• Author(s): Bernd Finkbeiner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on T...

View full details
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe by Bernd Finkbeiner

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

Bernd Finkbeiner

Paperback

₹2,907
₹4,471
₹4,471
₹4,471
(-35%)
₹2,907
₹2,907

• Author(s): Bernd Finkbeiner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on T...

View full details
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe by Bernd Finkbeiner

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

Bernd Finkbeiner

Paperback

₹2,907
₹4,471
₹4,471
₹4,471
(-35%)
₹2,907
₹2,907

• Author(s): Bernd Finkbeiner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on T...

View full details
Home
Genres
Account
Call Us
Chat