|  |
 |
| Artikel-Nr.: 858A-9783642093210 Herst.-Nr.: 9783642093210 EAN/GTIN: 9783642093210 |
| |
|
|  |  |
 | Modelling Distributed Systems Weitere Informationen:  |  | Author: | Wan Fokkink | Verlag: | Springer Berlin | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Computer Science; Semantics; algorithm; algorithms; computer; distributed systems; formal verification; modeling; verification, Algorithms, algorithm, computer, computer science, distributed systems, formal verification, modeling, semantics, verification |
|  |  |
| |