|  |
| |
| Artikel-Nr.:
858A-9783319489889 Herst.-Nr.:
9783319489889 EAN/GTIN:
9783319489889 |
| |
|
| | |
| 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings Weitere Informationen: | | Author: | John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, dynamic analysis, hybrid systems, model checking, software analysis, specification and verification, abstraction, automated static analysis, code generation, combinatorial testing, coq |
| | |
| |