Andre e tienne editor sun jun editor (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Automated Technology for Verification and Analysis: 21st International Symposium, Atva 2023, Singapore, October 2427, 2023, Proceedings
Andre , E tienne (Editor)/ Sun, Jun (Editor)
Sprache: Englisch
Verlag: Springer Nature, 2023
303145331X / 9783031453311
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 119,49
EUR 14,60 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 345 pages. 9.26x6.10x0.72 inches. In Stock.
Automated Technology for Verification and Analysis: 21st International Symposium, Atva 2023, Singapore, October 2427, 2023, Proceedings
Andre , E tienne (Editor)/ Sun, Jun (Editor)
Sprache: Englisch
Verlag: Springer Nature, 2023
303145328X / 9783031453281
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 128,01
EUR 14,60 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 462 pages. 9.26x6.10x0.94 inches. In Stock.