Articles liés à Computer Aided Verification: 36th International Conference,...
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II - Couverture souple
Synopsis
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.
The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Computer Aided Verification: 36th International Conference,...
Image d'archives
Computer Aided Verification (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur VH2CE6QHPY
Acheter neuf
EUR 38,22
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 14682)
Edité par
Springer, 2024
ISBN 10 : 3031656296
ISBN 13 : 9783031656293
Ancien ou d'occasion
Couverture souple
Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2024. N° de réf. du vendeur AB-005900
Acheter D'occasion
EUR 43,23
Expédition à EUR 2,68
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Computer Aided Verification (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031656296
ISBN 13 : 9783031656293
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 2427, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031656293
Acheter neuf
EUR 47,54
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Edité par
Springer-Nature New York Inc, 2024
ISBN 10 : 3031656296
ISBN 13 : 9783031656293
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031656296
Acheter neuf
EUR 42,59
Expédition à EUR 14,77
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Computer Aided Verification : 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 47983483-n
Acheter neuf
EUR 56,77
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Computer Aided Verification : 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Edité par
Springer, 2024
ISBN 10 : 3031656296
ISBN 13 : 9783031656293
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 47983483
Acheter D'occasion
EUR 58,47
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Computer Aided Verification
ISBN 10 : 3031656296
ISBN 13 : 9783031656293
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 open access 3-volume set constitutes the proceedings of the36th International Conference on Computer-Aided Verification, CAV 2024, which took place inMontreal, Canada, during July 24-27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. 418 pp. Englisch. N° de réf. du vendeur 9783031656293
Acheter neuf
EUR 42,79
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 14682)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783031656293_new
Acheter neuf
EUR 54,37
Expédition à EUR 13,34
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2024th edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26401167004
Acheter neuf
EUR 75,91
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
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 396291395
Acheter neuf
EUR 74,89
Expédition à EUR 7,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)