Filtrera

Språk
  • (11)
  • (1)
Ämne
  • (11)
  • (2)
  • (1)
Format
  • (2)
  • (3)
  • (6)
Pris
  • (2)
Leveranstid
  • (3)
  • (4)

Chris Hankin - Böcker

Visar alla böcker av Chris Hankin. Handla med fri frakt och snabb leverans!

Sortering:

  1. Introduction to Lambada Calculi for Computer Scientists

    av Chris Hankin, C Hankin

    Häftad, Engelska, 2004-02-02
    162
    Köp
    Skickas från oss inom 5-8 vardagar.
    Introduction to Lambada Calculi for Computer Scientists

  2. Coordination Programming: Mechanisms, Models And Semantics E-bok

    av Andreoli Jean-Marc Andreoli, Hankin Chris Hankin, Le Metayer D Le Metayer

    E-bok (PDF, LCP), Engelska, 1996-08-30
    798
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Coordination Programming: Mechanisms, Models And Semantics

    Coordination, considered abstractly, is an ubiquitous notion in computer science: for example, programming languages coordinate elementary instructions; operating systems coordinate accesses to hardware resources; database transaction schedulers c...

    Läs mer »

  3. Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop E-bok

    av Hankin Chris Hankin, Mackie I Mackie, Nagarajan Rajagopal Nagarajan

    E-bok (PDF, LCP), Engelska, 1995-10-17
    859
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

    The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliabl...

    Läs mer »

  4. Introducao Ao Calculo Lambda

    av Chris Hankin

    Häftad, Portugisiska, 2012-08-16
    174
    Köp
    Skickas från oss inom 2-5 vardagar.
    Introducao Ao Calculo Lambda

  5. Coordination Programming: Mechanisms, Models And Semantics

    av C Hankin J M Andreoli, Jean-Marc Andreoli, Chris Hankin, D Le Metayer, Jean-Marc Andreoli

    Inbunden, Engelska, 1996-08-01
    2363
    Bevaka
    Tillfälligt slut - klicka "Bevaka" för att få ett mejl när boken går att beställa igen.
    Coordination Programming: Mechanisms, Models And Semantics

    Coordination, considered abstractly, is an ubiquitous notion in computer science: for example, programming languages coordinate elementary instructions; operating systems coordinate accesses to hardware resources; database transaction schedulers c...

    Läs mer »

  6. Theoretical Computer Science and General Issues:

    Semantics, Logics, and Calculi

    av Christian W Probst, Chris Hankin, René Rydhof Hansen, Rene Rydhof Hansen

    Häftad, Engelska, 2015-12-25
    575
    Köp
    Skickas från oss inom 7-10 vardagar.
    Semantics, Logics, and Calculi

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

    Läs mer »

  7. Programming and Software Engineering:

    Static Analysis

    av Chris Hankin, Igor Siveroni

    Häftad, Engelska, 2005-08-25
    575
    Köp
    Skickas från oss inom 7-10 vardagar.
    Static Analysis

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

    Läs mer »

  8. Lecture Notes in Computer Science, del 1061:

    Coordination Languages and Models

    av Paolo Ciancarini, Chris Hankin

    Häftad, Engelska, 1996-04-03
    575
    Köp
    Skickas från oss inom 7-10 vardagar.
    Coordination Languages and Models

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

    Läs mer »

  9. Lecture Notes in Computer Science, del 1381:

    Programming Languages and Systems

    av Chris Hankin

    Häftad, Engelska, 1998-03-11
    575
    Köp
    Skickas från oss inom 7-10 vardagar.
    Programming Languages and Systems

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

    Läs mer »

  10. Principles of Program Analysis

    av Flemming Nielson, Hanne R Nielson, Chris Hankin

    Inbunden, Engelska, 1999-10-22
    859
    Köp
    Skickas från oss inom 7-10 vardagar.
    Principles of Program Analysis

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

    Läs mer »

  11. Principles of Program Analysis

    av Flemming Nielson, Hanne R Nielson, Chris Hankin

    Previously published in hardcover, Engelska, 2010-12-01
    575
    Köp
    Skickas från oss inom 7-10 vardagar.
    Principles of Program Analysis

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

    Läs mer »

  12. Principles of Program Analysis E-bok

    av Flemming Nielson, Hanne R Nielson, Chris Hankin

    E-bok (PDF, LCP), Engelska, 2015-02-27
    737
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Principles of Program Analysis

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

    Läs mer »