Chris Hankin – författare
Visar alla böcker från författaren Chris Hankin. Handla med fri frakt och snabb leverans.
11 produkter
Introduction to Lambada Calculi for Computer Scientists
Av Chris Hankin
Häftad, 2004
189 kr
Lägg i varukorg
Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Av Christian W. Probst, Chris Hankin m. fl.
Häftad, 2015
567 kr
Lägg i varukorg
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 …
Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Av Rene Rydhof Hansen, Chris Hankin m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
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 …
Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Av Chris Hankin, Igor Siveroni
Häftad, 2005
567 kr
Lägg i varukorg
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The …
Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Av Igor Siveroni, Chris Hankin
E-bok, 2005
755 kr
Lägg i varukorg
Coordination Languages and Models
First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
Av Paolo Ciancarini, Chris Hankin
Häftad, 1996
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed …
Programming Languages and Systems
7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Av Chris Hankin
Häftad, 1998
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a …
Principles of Program Analysis
Av Flemming Nielson, Hanne R. Nielson m. fl.
Inbunden, 1999
904 kr
Lägg i varukorg
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between …
Principles of Program Analysis
Av Flemming Nielson, Hanne R. Nielson m. fl.
Häftad, 2010
646 kr
Lägg i varukorg
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between …
Principles of Program Analysis
Av Chris Hankin, Hanne R. Nielson m. fl.
E-bok, 2015
821 kr
Lägg i varukorg
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between …
