Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
AvChristian W. Probst,Chris Hankin
Häftad, Engelska, 2015
Del 9560 i serien Lecture Notes in Computer Science
565 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.
Produktinformation
Utforska kategorier
Recensioner i media
Hoppa över listan
Du kanske också är intresserad av
Del 11875
Coordination Programming: Mechanisms, Models And Semantics
ANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le Metayer
Inbunden, 1996
2 011 kr
Del 11720
Graphical Models for Security
Massimiliano Albanese, Ross Horne, Christian W. Probst
Häftad, 2019
566 kr
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Inbunden, 2010
1 235 kr
Del 49
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Häftad, 2012
1 123 kr
Insider Threats in Cyber Security
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
E-bok
20101 518 kr