|  |
| |
| Artikel-Nr.:
5667A-9783319476766 Herst.-Nr.:
9783319476766 EAN/GTIN:
9783319476766 |
| |
|
| | |
| Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Weitere Informationen: | | Author: | Martin Fränzle; Deepak Kapur; Naijun Zhan | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, bisimulation, higher-order logic, model checking, quantum programming, software model checking, algorithms, fault tree, integration of states, markov chain, numerical methods |
| | |
| |