Search results for “[subject: computers-software]”
Products
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Current price
₹2,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Current price
₹2,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Current price
₹2,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• Author(s): Arie Gurfinkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theorie...
View full details
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I
Current price
₹2,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
• Author(s): Arie Gurfinkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Ai...
View full details
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part III
Current price
₹2,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
• Author(s): Arie Gurfinkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Veri...
View full details
