|  |
| |
| Artikel-Nr.:
858A-9783319415789 Herst.-Nr.:
9783319415789 EAN/GTIN:
9783319415789 |
| |
|
| | |
| 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers Weitere Informationen: | | Author: | Manuel Mazzara; Andrei Voronkov | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Informatik / Allgemeines, constraint system, formal verification, informal retrieval, model-driven architecture, software engineering, adaptive reuse, colored Petri nets, computable analysis, documentation reuse, model verification |
| | |
| |