Verwandte Artikel zu Formal Methods for Safe Autonomy: Data-driven Verification,...
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books) - Softcover
- VerlagAssociation for Computing Machinery
- Erscheinungsdatum2024
- ISBN 13 9798400708633
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten184
Neu kaufen
Diesen Artikel anzeigen
EUR 52,33
EUR 14,11 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Formal Methods for Safe Autonomy: Data-driven Verification,...
Beispielbild für diese ISBN
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9798400708633_new
Anzahl: Mehr als 20 verfügbar