CONCUR 2013 -- Concurrency Theory bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783642401831

Hersteller:
Springer Verlag

Herst.-Nr.:
9783642401831

EAN/GTIN:
9783642401831

Suchbegriffe:

24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Weitere Informationen:


Author:	Pedro R. D'Argenio; Hernan Melgratti
Verlag:	Springer Berlin
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Markov chains; concurrent games; logic; model checking; timed automata, Markov chains, concurrent games, logic, model checking, timed automata