CONCUR '98 Concurrency Theory Robert De Simone
128,39 €
Titel: CONCUR '98 Concurrency Theory, Untertitel: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, Einband: Taschenbuch, Autor: Robert De Simone, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 676, Maße: 235x155x37 mm, Gewicht: 1007 g, Verkäufer: buch-mimpf, Schlagworte: Netzwerk (elektronisch) Programmiersprachen Concurrency CalcuLi Linear Time Logics Process Algebras algorithm algorithms model checking petri net real-time real-time systems type systems verification.
Jetzt bei Ebay:
