Articles liés à Tools and Algorithms for the Construction and Analysis...
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... April 6–11, 2024, Proceedings, Part II - Couverture souple
Synopsis
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.Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer International Publishing AG
- Date d'édition2024
- ISBN 10 3031572483
- ISBN 13 9783031572487
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages386
- ÉditeurFinkbeiner Bernd, Kovács Laura
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 39,60
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Tools and Algorithms for the Construction and Analysis...
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . Notes in Computer Science, 14571, Band 14571)
Edité par
Springer, 2024
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 407 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 42808151/1
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Tools and Algorithms for the Construction and Analysis of Systems
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : 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 réf. du vendeur 1429714523
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
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 II
Edité par
Springer Nature Switzerland, 2024
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
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 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 réf. du vendeur 9783031572487
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Tools and Algorithms for the Construction and Analysis of Systems
Edité par
Springer Nature Switzerland Apr 2024, 2024
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. 408 pp. Englisch. N° de réf. du vendeur 9783031572487
Quantité disponible : 2 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 14571)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031572487_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Tools and Algorithms for the Construction and Analysis of Systems
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch. N° de réf. du vendeur 9783031572487
Quantité disponible : 2 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 14571)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2024th edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26402088068
Quantité disponible : 4 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 14571)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 394321755
Quantité disponible : 4 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 14571)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18402088078
Quantité disponible : 4 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031572483
ISBN 13 : 9783031572487
Neuf
Paperback
Edition originale
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9783031572487
Quantité disponible : 1 disponible(s)