CONCUR 2003 - Concurrency Theory Denis Lugiez
53,49 €
Titel: CONCUR 2003 - Concurrency Theory, Untertitel: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings, Einband: Taschenbuch, Autor: Denis Lugiez, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 544, Maße: 235x155x30 mm, Gewicht: 814 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Programmieren (EDV) / Parallel Bridging Erfüllbarkeitsproblem der Aussagenlogik Extreme Programming algorithm concurrency coordination distributed computing formal verification hybrid systems infinite state systems modeling monitor petri nets process algebra verification.
Jetzt bei Ebay:
