Advanced Topics in Bisimulation and Coinduction 1
bokomslag Advanced Topics in Bisimulation and Coinduction
Data & IT

Advanced Topics in Bisimulation and Coinduction

Davide Sangiorgi • Jan Rutten

Inbunden

1639:-

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

  • 342 sidor
  • 2011
  • Författare: Davide Sangiorgi, Jan Rutten
  • Format: Inbunden
  • ISBN: 9781107004979
  • Språk: Engelska
  • Antal sidor: 342
  • Utgivningsdatum: 2011-10-13
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Introduction to Bisimulation and Coinduction

    Introduction to Bisimulation and Coin...

    Davide Sangiorgi

    Inbunden

    1989:-
  2. bokomslag The Pi-Calculus

    The Pi-Calculus

    Davide Sangiorgi

    Pocket

    1339:-
  3. bokomslag Magnetic Coupling between the Interior and Atmosphere of the Sun

    Magnetic Coupling between the Interio...

    R J Rutten S S Hasan

    5469:-
  4. bokomslag Past, Present and Future of a Language Border

    Past, Present and Future of a Languag...

    Catharina Peersman, Gijsbert Rutten, Rik Vosters

    Inbunden

    2349:-
  5. bokomslag Leseforderung Und Lesemotivation In Der Grundschule Mit Antolin

    Leseforderung Und Lesemotivation In D...

    Bettina Rutten Bettina R Tten

    Pocket

    819:-
  6. bokomslag CONCUR '98 Concurrency Theory

    CONCUR '98 Concurrency Theory

    Robert De Simone Davide Sangiorgi

    Pocket

    1469:-
  7. bokomslag Ruhe tanken - Atem holen

    Ruhe tanken - Atem holen

    Bastian Rütten Ruth Plege

    Pocket

    199:-
  8. bokomslag Emerging Knowledge Economies in Asia

    Emerging Knowledge Economies in Asia

    Roel Rutten Dessy Irawati

    Pocket

    879:-
  9. bokomslag Geological Aspects of the Origin of Life on Earth

    Geological Aspects of the Origin of L...

    M G Rutten M G Rutten

    Pocket

    269:-
  10. bokomslag Economic Geography of Higher Education

    Economic Geography of Higher Education

    Roel Rutten Frans Boekema

    Inbunden

    2709:-

Andra av samma författare

  1. bokomslag The Pi-Calculus

    The Pi-Calculus

    Davide Sangiorgi

    Pocket

    1339:-
  2. bokomslag Introduction to Bisimulation and Coinduction

    Introduction to Bisimulation and Coin...

    Davide Sangiorgi

    Inbunden

    1989:-
  3. bokomslag Horizons of the Mind. A Tribute to Prakash Panangaden

    Horizons of the Mind. A Tribute to Pr...

    Franck Van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten

    Pocket

    719:-
  4. bokomslag It's All About Coordination

    It's All About Coordination

    Frank De Boer, Marcello Bonsangue, Jan Rutten

    Pocket

    749:-
  5. bokomslag Algebra and Coalgebra in Computer Science

    Algebra and Coalgebra in Computer Sci...

    José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten

    Pocket

    749:-
  6. bokomslag Trustworthy Global Computing

    Trustworthy Global Computing

    Davide Sangiorgi Rocco De Nicola

    Pocket

    749:-
  7. bokomslag CONCUR '98 Concurrency Theory

    CONCUR '98 Concurrency Theory

    Robert De Simone Davide Sangiorgi

    Pocket

    1469:-
  8. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Josep Diaz, Ivan Lanese, Davide Sangiorgi

    Pocket

    719:-