Verified Software: Theories, Tools, and Experiments Sanjit A. Seshia
Titel: Verified Software: Theories, Tools, and Experiments, Untertitel: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Einband: Taschenbuch, Autor: Sanjit A. Seshia, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 236, Maße: 235x155x13 mm, Gewicht: 365 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Benchmarks Dynamic analysis Hoare logic Program Specification Programming languages SAT solving assertion checking automated reasoning automated static analysis higher-order logic logic and verification model checking program analysis programming logic protocol testing and verification requirements modeling software verification specification languages static analysis theorem proving.
Jetzt bei Ebay:
