The Art of Modelling Computational Systems: A Journey from Logic and Concurrency
53,49 €
Titel: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Untertitel: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Einband: Taschenbuch, Autor: Mário S. Alvim, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 496, Maße: 235x155x27 mm, Gewicht: 744 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Concurrency Theory Data Security Logic Programming Privacy Probability Programming languages Semantics Software Engineering concurrent constraint programming data privacy distributed computer systems formal logic g-leakage information flow information hiding.
Jetzt bei Ebay:
![Produktbild - What Makes Us Smart: The Computational Logic of Human Cognition [Paperback]](https://i.ebayimg.com/thumbs/images/g/ZwEAAeSwpXFoSOgt/s-l140.jpg)
