Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part I

Finkbeiner, Bernd (EDT); Kov�cs, Laura (EDT)

ISBN 10: 3031572459 ISBN 13: 9783031572456

Editorial: Springer, 2024

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 47637714

Denunciar este art�culo

Sinopsis:

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.

The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:

Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;

Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;

Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

De la contraportada:

The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

"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: 2024
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: As New

Los mejores resultados en AbeBooks

Imagen de archivo

Tools and Algorithms for the Constructi (eng)

Finkbeiner, Bernd

Publicado por Springer, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

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: EIJPARE163

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, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences. N� de ref. del art�culo: 1429714522

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 | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Bernd Finkbeiner (u. a.)

Publicado por Springer, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

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 | 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I | Bernd Finkbeiner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxviii | Englisch | 2024 | Springer | EAN 9783031572456 | 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: 128636980

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

Laura Kov�cs

Publicado por Springer Nature Switzerland Mai 2024, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

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 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. 424 pp. Englisch. N� de ref. del art�culo: 9783031572456

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 del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner

Publicado por Springer, Springer Apr 2024, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

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 -SAT and SMT Solving.- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.- Z3-Noodler: An Automata-based String Solver.- TaSSAT: Transfer and Share SAT.- Speculative SAT modulo SAT.- Happy Ending: An Empty Hexagon in Every Set of 30 Points.- Synthesis.- Fully Generalized Reactivity(1) Synthesis.- Knor: reactive synthesis using Oink.- On Dependent Variables in Reactive Synthesis.- CESAR: Control Envelope Synthesis via Angelic Refinements.- Logic and Decidability.- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.- Deciding Boolean Separation Logic via Small Models.- Asynchronous Subtyping by Trace Relaxation.- Program Analysis and Proofs.- SootUp: A Redesign of the Soot Static Analysis Framework.- Formally verified asymptotic consensus in robust networks.- Formally Verifying an Efficient Sorter.- Explainable Online Monitoring of Metric First-Order Temporal Logic.- Proof Checking.- IsaRare: Automatic Veri cation of SMT Rewrites in Isabelle/HOL.- Automate where Automation Fails: Proof Strategies for Frama-C/WP.- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification.- A Logical Treatment of Finite Automata.- A State-of-the-Art Karp-Miller Algorithm Certified in Coq.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch. N� de ref. del art�culo: 9783031572456

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 : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6�11, 2024, Proceedings, Part I

Laura Kov�cs

Publicado por Springer Nature Switzerland, 2024

ISBN 10: 3031572459 ISBN 13: 9783031572456

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 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking;Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations;Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. N� de ref. del art�culo: 9783031572456

Contactar al vendedor