Programming Languages with Applications to Biology and Security Chiara Bodei
Titel: Programming Languages with Applications to Biology and Security, Untertitel: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Einband: Taschenbuch, Autor: Chiara Bodei, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Active knowledge Adaptive and pervasive systems Algorithms for love Computational Biology Concurrency Theory Contract-based design Formal program semantics May testing Program Synthesis Secure service composition Simulation Algorithms Stochastic Simulation Systems biology distributed systems model checking modeling petri nets security static analysis symbolic execution.
Jetzt bei Ebay:
![Produktbild - Domain-Specific Languages in R: Advanced Statistical Programming [Paperback]](https://i.ebayimg.com/thumbs/images/g/ZKYAAeSwX9tobSgw/s-l140.jpg)
