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

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

ISBN 10: 303190642X ISBN 13: 9783031906428

Editorial: Springer, 2025

Usado Encuadernaci�n de tapa blanda

Librer�a: GreatBookPrices, Columbia, MD, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 6 de abril de 2009

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Unread book in perfect condition. N� de ref. del art�culo 50232111

Denunciar este art�culo

Sinopsis:

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Tools and Algorithms for the Construction ...
Editorial: Springer
A�o de publicaci�n: 2025
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: As New

Los mejores resultados en AbeBooks

Imagen de archivo

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

Gurfinkel, Arie

Publicado por Springer, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Brook Bookstore On Demand, Napoli, NA, Italia

Calificaci�n del vendedor: 3 de 5 estrellas

Condici�n: new. Questo � un articolo print on demand. N� de ref. del art�culo: KGB9T3WL82

Contactar al vendedor

Comprar nuevo

EUR 38,22

Env�o por EUR 6,80
Se env�a de Italia a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Publicado por Springer Verlag GmbH, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de ref. del art�culo: 2292377097

Contactar al vendedor

Comprar nuevo

EUR 39,60

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

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 I

Arie Gurfinkel (u. a.)

Publicado por Springer, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. 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 I | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2025 | Springer | EAN 9783031906428 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de ref. del art�culo: 132595759

Contactar al vendedor

Comprar nuevo

EUR 41,35

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

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 I

Marijn Heule

Publicado por Springer Nature Switzerland, Springer International Publishing, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783031906428

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 63,23
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel

Publicado por Springer, Springer Mai 2025, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 428 pp. Englisch. N� de ref. del art�culo: 9783031906428

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 60,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel

Publicado por Springer, Berlin, Springer Nature Switzerland, ETAPS Society, Springer, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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. 399 pp. Englisch. N� de ref. del art�culo: 9783031906428

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

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

Arie Gurfinkel

Publicado por Springer International Publishing AG, Cham, 2025

ISBN 10: 303190642X ISBN 13: 9783031906428

Nuevo Paperback

Impresi�n bajo demanda

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9783031906428

Contactar al vendedor