Grundlagen der Softwarewissenschaft und Computerstrukturen: 24. Internationale
72,01 €
Constructing a universe for the setoid model. - Nominal Equational Problems. - Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. - "Most of"' leads to undecidability: Failure of adding frequencies to LTL.
Jetzt bei Ebay:
![Produktbild - A Primer of Mathematical Analysis and the Foundations of Computation [Paperback]](https://i.ebayimg.com/thumbs/images/g/OeQAAeSw4~9oOtt4/s-l140.jpg)
![Produktbild - The Cooperative Neuron: Cellular Foundations of Mental Life [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/clQAAeSweJZoSSVP/s-l140.jpg)
