|  |
| |
| Artikel-Nr.:
858A-9783662496732 Herst.-Nr.:
9783662496732 EAN/GTIN:
9783662496732 |
| |
|
| | |
| 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Weitere Informationen: | | Author: | Marsha Chechik; Jean-François Raskin | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, APP - Application, EDV / Theorie / Programmieren / Allgemeines, Dynamic program analysis, Model-checking, Security, Software and hardware verification, Stochastic systems, Abstraction techniques, Analytical techniques for real-time, Compositional methodologies, Dependability |
| | |
| |