Hoppa till sidans huvudinnehåll

Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Häftad, Engelska, 2015

Av Christian W. Probst, Chris Hankin, René Rydhof Hansen, Rene Rydhof Hansen

729 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.

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

Secure IT Systems

Secure IT Systems

Aslan Askarov, René Rydhof Hansen, Willard Rafnsson, Rene Rydhof Hansen

729 kr

Graphical Models for Security

Graphical Models for Security

Massimiliano Albanese, Ross Horne, Christian W. Probst

729 kr

Insider Threats in Cyber Security
Del 49

Insider Threats in Cyber Security

Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop, Christian W Probst

1 609 kr

Insider Threats in Cyber Security
Del 49

Insider Threats in Cyber Security

Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop

1 459 kr

Introduction to Lambada Calculi for Computer Scientists

Introduction to Lambada Calculi for Computer Scientists

Chris Hankin, C. Hankin

389 kr

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan, I. MacKie, I. Mackie

3 259 kr

Coordination Programming: Mechanisms, Models And Semantics

Coordination Programming: Mechanisms, Models And Semantics

ANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le Metayer, Jean-Marc Andreoli, D. Le Metayer

2 979 kr

Static Analysis

Static Analysis

Chris Hankin, Igor Siveroni

729 kr

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

1 099 kr

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

719 kr