Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. 387 pp. Englisch. N� de r�f. du vendeur 9783031906527

Contacter le vendeur

Acheter neuf

EUR 42,79

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tacas 2025 : 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilton, On, Canada, May 3�"8, 2025, Proceedings

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

Edit� par Springer, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 50232954

Contacter le vendeur

Acheter D'occasion

EUR 48,18

Autre devise

Frais de port : EUR 17,83

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Tacas 2025 : 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilton, On, Canada, May 3�"8, 2025, Proceedings

Gurfinkel, Arie (EDT); Heule, Marjin (EDT)

Edit� par Springer, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 50232954-n

Contacter le vendeur

Acheter neuf

EUR 53,85

Autre devise

Frais de port : EUR 17,83

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Marijn Heule

Edit� par Springer Nature Switzerland, Springer International Publishing, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. N� de r�f. du vendeur 9783031906527

Contacter le vendeur

Acheter neuf

EUR 42,79

Autre devise

Frais de port : EUR 31,07

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tacas 2025: 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps 2025, Hamilto

Gurfinkel, Arie (Editor)/ Heule, Marjin (Editor)

Edit� par Springer-Nature New York Inc, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 500 pages. 9.26x6.11x9.21 inches. In Stock. N� de r�f. du vendeur x-3031906527

Contacter le vendeur

Acheter neuf

EUR 76,50

Autre devise

Frais de port : EUR 11,89

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems (Paperback)

Arie Gurfinkel

Edit� par Springer International Publishing AG, Cham, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Neuf Paperback

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783031906527

Contacter le vendeur

Acheter neuf

EUR 53,86

Autre devise

Frais de port : EUR 43,98

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Tools and Algorithms for the Construction and Analysis of Systems (Paperback)

Arie Gurfinkel

Edit� par Springer International Publishing AG, Cham, 2025

ISBN 10 : 3031906527 ISBN 13 : 9783031906527

Neuf Paperback

Vendeur : AussieBookSeller, Truganina, VIC, Australie

�valuation du vendeur 3 sur 5 �toiles

Paperback. Etat : new. Paperback. The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N� de r�f. du vendeur 9783031906527

Contacter le vendeur

Acheter neuf

EUR 65,91

Autre devise

Frais de port : EUR 33,06

De Australie vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Tacas 2025: 31st International Conference, Tacas 2025,...

Tacas 2025: 31st International Conference, Tacas 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, Etaps ... On, Canada, May 3–8, 2025, Proceedings - Couverture souple

Acheter D'occasion

Acheter neuf

R�sultats de recherche pour Tacas 2025: 31st International Conference, Tacas 2025,...

Acheter D'occasion

Acheter neuf

Acheter neuf

Acheter neuf

Acheter D'occasion

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf