Del 9560
Semantics, Logics, and Calculi
Christian W. Probst, Chris Hankin, René Rydhof Hansen
Häftad, 2015
561 kr
Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
AvRene Rydhof Hansen,Chris Hankin
E-bok
PDF, Engelska, 2016714 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
Hoppa över listan
Du kanske också är intresserad av
Del 11720
Graphical Models for Security
Massimiliano Albanese, Ross Horne, Christian W. Probst
Häftad, 2019
561 kr
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Inbunden, 2010
1 225 kr
Del 49
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Häftad, 2012
1 114 kr
Insider Threats in Cyber Security
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
E-bok
20101 518 kr