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 39,60
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Computer Aided Verification: 36th International Conference,...
Foto des Verkäufers
Computer Aided Verification
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Artikel-Nr. 1702913634
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Computer Aided Verification
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. Artikel-Nr. 9783031656262
Anzahl: 2 verfügbar
Foto des Verkäufers
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24¿27, 2024, Proceedings, Part I
Verlag:
Springer Nature Switzerland, 2024
ISBN 10: 3031656261
ISBN 13: 9783031656262
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 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. Artikel-Nr. 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. Artikel-Nr. ria9783031656262_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Anbieter: 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. Artikel-Nr. x-3031656261
Anzahl: 2 verfügbar