Verified Software: Theorie Tools Experiments Kartoniert (TB)
Springer
Description
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories Tools and Experiments VSTTE 2013 held in Menlo Park CA US... Weiterlesen
GTIN
9783642541070
Angeboten durch
Weltbild AT
Produkt speichern
Produkt gespeichert
Produkt vergleichen
Preisgeschichte
Verwandte Produkte
Bitte wählen Sie mindestens 2 Produkte zum Vergleich aus
Vergleich anzeigen