Verwandte Artikel zu Computer Aided Verification: 36th International Conference,...
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I: 14681 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
This open access book 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 43,91
EUR 7,65 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Computer Aided Verification: 36th International Conference,...
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783031656262
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783031656262
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers S0-9783031656262
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031656262_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computer Aided Verification
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. 489 pp. Englisch. Bestandsnummer des Verkäufers 9783031656262
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 2024th edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26401167007
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3031656261
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 396291392
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18401166997
Anzahl: 4 verfügbar
Foto des Verkäufers
Computer Aided Verification
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Bestandsnummer des Verkäufers 1702913634
Anzahl: Mehr als 20 verfügbar