Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings - Couverture souple
Synopsis
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.
The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Tests and Proofs: 18th International Conference, TAP...
Image fournie par le vendeur
Tests and Proofs
Edité par
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10 : 3031720431
ISBN 13 : 9783031720437
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 - This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions.TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. 172 pp. Englisch. N° de réf. du vendeur 9783031720437
Acheter neuf
EUR 139,09
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Tests and Proofs
Edité par
Springer Verlag GmbH, 2024
ISBN 10 : 3031720431
ISBN 13 : 9783031720437
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 1793301152
Acheter neuf
EUR 118,61
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tests and Proofs (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031720431
ISBN 13 : 9783031720437
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAPs scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031720437
Acheter neuf
EUR 168,05
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2025th edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26402773392
Acheter neuf
EUR 178,78
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Tests and Proofs | 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Tests and Proofs | 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings | Marieke Huisman (u. a.) | Taschenbuch | xiv | Englisch | 2024 | Springer | EAN 9783031720437 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 129845645
Acheter neuf
EUR 123,70
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Tests and Proofs
ISBN 10 : 3031720431
ISBN 13 : 9783031720437
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP¿s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. N° de réf. du vendeur 9783031720437
Acheter neuf
EUR 139,09
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 410413647
Acheter neuf
EUR 192,02
Frais de port :
EUR 7,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Edité par
Springer Nature Switzerland, 2024
ISBN 10 : 3031720431
ISBN 13 : 9783031720437
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 - This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions.TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. N° de réf. du vendeur 9783031720437
Acheter neuf
EUR 139,09
Frais de port :
EUR 61,50
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 910, 2024, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 200 pages. 9.25x6.10x9.25 inches. In Stock. N° de réf. du vendeur x-3031720431
Acheter neuf
EUR 190,08
Frais de port :
EUR 11,45
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18402773402
Acheter neuf
EUR 193,42
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)