Foundations of Software Science and Computational Structures: 8th International
67,86 €
Invited Talks. - Model Checking for Nominal Calculi. - Mathematical Models of Computational and Combinatorial Structures. - Rule Formats and Bisimulation. - Bisimulation on Speed: A Unified Approach.
Jetzt bei Ebay: