Introduction to Bisimulation and Coinduction 1
bokomslag Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Davide Sangiorgi

Inbunden

1509:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 260 sidor
  • 2011
  • Författare: Davide Sangiorgi
  • Format: Inbunden
  • ISBN: 9781107003637
  • Språk: Engelska
  • Antal sidor: 260
  • Utgivningsdatum: 2011-10-13
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Advanced Topics in Bisimulation and Coinduction

    Advanced Topics in Bisimulation and C...

    Jan Rutten Davide Sangiorgi

    Inbunden

    1679:-
  2. bokomslag The Pi-Calculus

    The Pi-Calculus

    Davide Sangiorgi Rocquen, David Walker, Davide Sangiorgi, David Walker

    Pocket

    1169:-
  3. bokomslag CONCUR '98 Concurrency Theory

    CONCUR '98 Concurrency Theory

    Davide Sangiorgi, Robert De Simone, Robert De Simone

    Pocket

    1469:-
  4. bokomslag Food Chain Management

    Food Chain Management

    Andree Kracht Antonino Sangiorgi

    Pocket

    609:-
  5. bokomslag Catalogue De La Vente Du Musée Guidi De Faenza ......

    Catalogue De La Vente Du Musée Guidi ...

    Galleria Sangiorgi Rome Galleria Sang...

    Pocket

    259:-
  6. Ny
    bokomslag Död mans kvinna

    Död mans kvinna

    Katarina Wennstam

    Pocket

    125:-
  7. bokomslag Catalogue De La Vente Du Musée Guidi De Faenza ......

    Catalogue De La Vente Du Musée Guidi ...

    Galleria Sangiorgi Rome Galleria Sang...

    Klotband

    469:-
  8. bokomslag Personalcontrolling. Mitarbeiter Mit Kennzahlen Bewerten

    Personalcontrolling. Mitarbeiter Mit ...

    Antonino Sangiorgi

    Pocket

    739:-
  9. bokomslag Designing for Service

    Designing for Service

    Alison Prendiville Daniela Sangiorgi

    Pocket

    589:-
  10. bokomslag Carotid Atherosclerotic Disease

    Carotid Atherosclerotic Disease

    Guiseppe Sangiorgi, Luigi G Spagnoli, L Nelson Hopkins, Kenneth Rosenfield, David R Holmes Jr

    Inbunden

    1789:-

Andra av samma författare

  1. bokomslag The Pi-Calculus

    The Pi-Calculus

    Davide Sangiorgi Rocquen, David Walker, Davide Sangiorgi, David Walker

    Pocket

    1169:-
  2. bokomslag Advanced Topics in Bisimulation and Coinduction

    Advanced Topics in Bisimulation and C...

    Jan Rutten Davide Sangiorgi

    Inbunden

    1679:-
  3. bokomslag Trustworthy Global Computing

    Trustworthy Global Computing

    Davide Sangiorgi Rocco De Nicola

    Pocket

    749:-
  4. bokomslag CONCUR '98 Concurrency Theory

    CONCUR '98 Concurrency Theory

    Davide Sangiorgi, Robert De Simone, Robert De Simone

    Pocket

    1469:-
  5. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Josep Diaz, Ivan Lanese, Davide Sangiorgi

    Pocket

    719:-