Foundations of Software Science and Computational Structures: 8th International
69,15 €
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: