Del 11875
Del 9560 i serien Lecture Notes in Computer Science
Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Häftad, Engelska, 2015
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2015-12-25
- Mått155 x 235 x 20 mm
- Vikt540 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor345
- FörlagSpringer International Publishing AG
- ISBN9783319278094
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan
Inbunden, 1995
3 229 kr
Coordination Programming: Mechanisms, Models And Semantics
ANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le Metayer
Inbunden, 1996
2 619 kr
Del 11720
Graphical Models for Security
Massimiliano Albanese, Ross Horne, Christian W. Probst
Häftad, 2019
739 kr
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Inbunden, 2010
1 609 kr
Del 49
Insider Threats in Cyber Security
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
Häftad, 2012
1 459 kr
Principles of Program Analysis
Flemming Nielson, Hanne R. Nielson, Chris Hankin
Inbunden, 1999
1 169 kr