Hardware and Software: Verification and Testing Nir Piterman
Titel: Hardware and Software: Verification and Testing, Untertitel: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Einband: Taschenbuch, Autor: Nir Piterman, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 312, Maße: 235x155x17 mm, Gewicht: 476 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Dynamic validation Hardware verification Heartbleed IPv6 mobility Java Multi-core Processors Parallel implementations Parameterised verification SAT solving Simulation Synthesis abstraction formal verification hybrid systems model checking software verification symbolic execution testing theorem proving timed systems.
Jetzt bei Ebay:
