Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Leveraging Applications of Formal Methods, Verification, and Validation Reiner H

Ø 0.0
0 Bewertungen
69,54 €

Titel: Leveraging Applications of Formal Methods, Verification, and Validation, Untertitel: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers, Einband: Taschenbuch, Autor: Reiner Hähnle, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 276, Maße: 235x155x16 mm, Gewicht: 423 g, Verkäufer: buch-mimpf, Schlagworte: Autonomous Robots Software Engineering Web Services automata learning knowledge management.

Jetzt bei Ebay: