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

Hardware and Software: Verification and Testing Eran Yahav

Ø 0.0
0 Bewertungen
53,49 €

Titel: Hardware and Software: Verification and Testing, Untertitel: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings, Einband: Taschenbuch, Autor: Eran Yahav, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 320, Maße: 235x155x18 mm, Gewicht: 487 g, Verkäufer: buch-mimpf, Schlagworte: DMA Discrete-event Systems HOL4 automata-based programming automated testing automated verification.

Jetzt bei Ebay: