Hardware and Software: Verification and Testing Eli Arbel
Titel: Hardware and Software: Verification and Testing, Untertitel: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Einband: Taschenbuch, Autor: Eli Arbel, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 228, Maße: 235x155x13 mm, Gewicht: 353 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Abstract Data Types CFA Hardware Reliability SAT solving code transformation fault localization formal verification hybrid models model checking program analysis shape analysis simulation and emulation software testing and debugging software verification spectrum based fault localization test maintenance test repair test-suite evolution theorem proving timed models.
Jetzt bei Ebay:
