ISBN 9783642150562 – Verified Software: Theories, Tools, Experiments – Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
1 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Leavens, Gary T. O Hearn, Peter Rajamani, Sriram K.
Springer Berlin Heidelberg
, 2010, Kartoniert / BroschiertISBN: 9783642150562
Neuware
61,45 €
versandkostenfrei
versandkostenfrei
wird gespeichert …