Verified Software. Theories, Tools And Experiments: 17Th International Conference, Vstte 2025, Menlo Park, Ca, Usa, October 6, 2025, Revised Selected Papers

Pit-Claudel, Clément (Editor)/ Kosaian, Katherine (Editor)

ISBN 10: 3032273390 ISBN 13: 9783032273390
Verlag: Springer Nature Switzerland Ag, 2026
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Revaluation Books, Exeter, Vereinigtes Königreich

AbeBooks-Verkäufer seit 6. Januar 2003

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 76,15
EUR 11,70 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb legen