Formal Techniques for Computer Systems and Business Processes: European Performa
67,17 €
Invited Speakers. - Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems. - PiDuce: A Process Calculus with Native XML Datatypes. - Life After BPEL?.
Jetzt bei Ebay:
